src/HOLCF/ex/ROOT.ML
changeset 2236 c7869a443b14
parent 1461 6bcb44e4d6e5
child 2570 24d7e8fb8261
     1.1 --- a/src/HOLCF/ex/ROOT.ML	Wed Nov 27 10:31:05 1996 +0100
     1.2 +++ b/src/HOLCF/ex/ROOT.ML	Wed Nov 27 10:34:28 1996 +0100
     1.3 @@ -16,5 +16,5 @@
     1.4  time_use_thy "Fix2";
     1.5  time_use "loeckx.ML";
     1.6  
     1.7 -cd "..";
     1.8 +OS.FileSys.chDir "..";
     1.9  maketest     "END: Root file for HOLCF examples";