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