# HG changeset patch
# User wenzelm
# Date 1240687685 -7200
# Node ID 7882a1268a48370b88e56a93551119e44d2eb2ad
# Parent  6b9b93816b3033ed9466dbe424c5e4eba53da65b
use predefined preferences categories;

diff -r 6b9b93816b30 -r 7882a1268a48 src/HOL/Tools/atp_manager.ML
--- a/src/HOL/Tools/atp_manager.ML	Sat Apr 25 21:28:05 2009 +0200
+++ b/src/HOL/Tools/atp_manager.ML	Sat Apr 25 21:28:05 2009 +0200
@@ -51,15 +51,17 @@
 fun set_timeout time = CRITICAL (fn () => timeout := time);
 
 val _ =
-  ProofGeneralPgip.add_preference "Proof"
+  ProofGeneralPgip.add_preference Preferences.category_proof
     (Preferences.string_pref atps
       "ATP: provers" "Default automatic provers (separated by whitespace)");
 
-val _ = ProofGeneralPgip.add_preference "Proof"
+val _ =
+  ProofGeneralPgip.add_preference Preferences.category_proof
     (Preferences.int_pref max_atps
       "ATP: maximum number" "How many provers may run in parallel");
 
-val _ = ProofGeneralPgip.add_preference "Proof"
+val _ =
+  ProofGeneralPgip.add_preference Preferences.category_proof
     (Preferences.int_pref timeout
       "ATP: timeout" "ATPs will be interrupted after this time (in seconds)");