src/HOLCF/explicit_domains/ROOT.ML

--- a/src/HOLCF/explicit_domains/ROOT.ML	Wed Nov 27 10:31:05 1996 +0100
+++ b/src/HOLCF/explicit_domains/ROOT.ML	Wed Nov 27 10:34:28 1996 +0100
@@ -20,5 +20,5 @@
 time_use_thy "Dagstuhl";
 time_use_thy "Focus_ex";
 
-cd "..";
+OS.FileSys.chDir "..";
 maketest "END: Root file for HOLCF examples: explicit domain axiomatization";