diff -r 2209eb5bb56b -r b67c8e01ae04 IOA/ROOT.ML
--- a/IOA/ROOT.ML	Thu Apr 06 11:24:11 1995 +0200
+++ b/IOA/ROOT.ML	Thu Apr 06 11:27:54 1995 +0200
@@ -19,4 +19,4 @@
 goals_limit := 1;
 
 loadpath := "IOA/meta_theory" :: "IOA/example" :: !loadpath;
-use_thy "Correctness"  handle _ => exit 1;
+use_thy "Correctness";