src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Thu Dec 14 22:19:39 2006 +0100
+++ b/src/Pure/ROOT.ML	Fri Dec 15 00:08:06 2006 +0100
@@ -99,7 +99,7 @@
 (*final ML setup*)
 use "install_pp.ML";
 val use = ThyInfo.use;
-val cd = File.cd o Path.unpack;
+val cd = File.cd o Path.explode;
 ml_prompts "ML> " "ML# ";
 
 proofs := 0;