src/Tools/auto_solve.ML
changeset 33889 4328de748fb2
parent 33301 1fe9fc908ec3
child 39138 53886463f559
--- a/src/Tools/auto_solve.ML	Tue Nov 24 16:11:50 2009 +0100
+++ b/src/Tools/auto_solve.ML	Tue Nov 24 17:19:33 2009 +0100
@@ -27,17 +27,17 @@
 
 val _ =
   ProofGeneralPgip.add_preference Preferences.category_tracing
+    (Preferences.nat_pref auto_time_limit
+      "auto-solve-time-limit"
+      "Time limit for seeking automatic solutions (in milliseconds).");
+
+val _ =
+  ProofGeneralPgip.add_preference Preferences.category_tracing
   (setmp_CRITICAL auto true (fn () =>
     Preferences.bool_pref auto
       "auto-solve"
       "Try to solve newly declared lemmas with existing theorems.") ());
 
-val _ =
-  ProofGeneralPgip.add_preference Preferences.category_tracing
-    (Preferences.nat_pref auto_time_limit
-      "auto-solve-time-limit"
-      "Time limit for seeking automatic solutions (in milliseconds).");
-
 
 (* hook *)