--- a/src/Sequents/ILL/ROOT.ML Thu Mar 11 12:34:10 1999 +0100
+++ b/src/Sequents/ILL/ROOT.ML Thu Mar 11 13:20:35 1999 +0100
@@ -1,5 +1,4 @@
-Sequents_build_completed; (*Cause examples to fail if Sequents did*)
writeln"Root file for ILL examples";
set proof_timing;