src/HOL/Tools/try0.ML

--- a/src/HOL/Tools/try0.ML	Wed May 15 12:13:38 2013 +0200
+++ b/src/HOL/Tools/try0.ML	Wed May 15 17:39:41 2013 +0200
@@ -27,7 +27,7 @@
 val auto = Unsynchronized.ref false
 
 val _ =
-  ProofGeneralPgip.add_preference Preferences.category_tracing
+  ProofGeneral.add_preference Preferences.category_tracing
       (Preferences.bool_pref auto "auto-try0" "Try standard proof methods.")
 
 val default_timeout = seconds 5.0