src/Sequents/LK/ROOT.ML

--- a/src/Sequents/LK/ROOT.ML	Thu Mar 11 12:34:10 1999 +0100
+++ b/src/Sequents/LK/ROOT.ML	Thu Mar 11 13:20:35 1999 +0100
@@ -6,8 +6,6 @@
 Executes all examples for Classical Logic. 
 *)
 
-Sequents_build_completed;    (*Cause examples to fail if Sequents did*)
-
 writeln"Root file for LK examples";
 
 set proof_timing;