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