src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Wed Nov 27 10:31:05 1996 +0100
+++ b/src/Pure/ROOT.ML	Wed Nov 27 10:34:28 1996 +0100
@@ -21,9 +21,9 @@
 use "term.ML";
 
 (*Syntax module*)
-cd "Syntax";
+OS.FileSys.chDir "Syntax";
 use "ROOT.ML";
-cd "..";
+OS.FileSys.chDir "..";
 
 use "type.ML";
 use "sign.ML";
@@ -48,9 +48,9 @@
 structure CPure = struct val thy = Theory.cpure_thy end;
 
 (*Theory parser and loader*)
-cd "Thy";
+OS.FileSys.chDir "Thy";
 use "ROOT.ML";
-cd "..";
+OS.FileSys.chDir "..";
 
 use "install_pp.ML";
 fun init_database () = (init_thy_reader (); init_pps ());