--- a/src/Sequents/ex/ROOT.ML Fri Dec 19 10:17:04 1997 +0100
+++ b/src/Sequents/ex/ROOT.ML Fri Dec 19 10:18:03 1997 +0100
@@ -5,6 +5,3 @@
use "LK/ROOT.ML";
use "ILL/ROOT.ML";
use "Modal/ROOT.ML";
-
-OS.FileSys.chDir "..";
-maketest"END: Root file for Sequents examples";