src/Tools/try.ML

--- a/src/Tools/try.ML	Wed May 15 12:13:38 2013 +0200
+++ b/src/Tools/try.ML	Wed May 15 17:39:41 2013 +0200
@@ -36,7 +36,7 @@
 
 val auto_try_time_limitN = "auto-try-time-limit"
 val _ =
-  ProofGeneralPgip.add_preference Preferences.category_tracing
+  ProofGeneral.add_preference Preferences.category_tracing
     (Preferences.real_pref auto_time_limit
       auto_try_time_limitN "Time limit for automatically tried tools (in seconds).")