src/FOL/ex/ROOT.ML

--- a/src/FOL/ex/ROOT.ML	Wed Nov 27 10:31:05 1996 +0100
+++ b/src/FOL/ex/ROOT.ML	Wed Nov 27 10:34:28 1996 +0100
@@ -41,5 +41,5 @@
 time_use_thy "IffOracle";
 
 
-cd "..";
+OS.FileSys.chDir "..";
 maketest"END: Root file for FOL examples";