# HG changeset patch
# User wenzelm
# Date 1283529283 -7200
# Node ID 7bfa17bcd5ee531111f59b4dc13143e03b5b3bb5
# Parent  12f3788be67be8f146d4dc23e456cb39c76bcf82
disposed left-over user preferences;

diff -r 12f3788be67b -r 7bfa17bcd5ee src/HOLCF/IOA/ABP/ROOT.ML
--- a/src/HOLCF/IOA/ABP/ROOT.ML	Fri Sep 03 17:43:44 2010 +0200
+++ b/src/HOLCF/IOA/ABP/ROOT.ML	Fri Sep 03 17:54:43 2010 +0200
@@ -4,8 +4,5 @@
 This is the ROOT file for the Alternating Bit Protocol performed in
 I/O-Automata.
 *)
-
-goals_limit := 1;
-
 use "Check.ML";
 use_thys ["Correctness"];
diff -r 12f3788be67b -r 7bfa17bcd5ee src/HOLCF/IOA/Storage/ROOT.ML
--- a/src/HOLCF/IOA/Storage/ROOT.ML	Fri Sep 03 17:43:44 2010 +0200
+++ b/src/HOLCF/IOA/Storage/ROOT.ML	Fri Sep 03 17:54:43 2010 +0200
@@ -3,7 +3,4 @@
 
 Memory storage case study.
 *)
-
-goals_limit := 1;
-
 use_thys ["Correctness"];