--- a/src/HOL/IOA/ROOT.ML Mon Apr 10 08:40:58 1995 +0200
+++ b/src/HOL/IOA/ROOT.ML Mon Apr 10 08:47:43 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";