src/Tools/solve_direct.ML

--- a/src/Tools/solve_direct.ML	Wed May 15 12:13:38 2013 +0200
+++ b/src/Tools/solve_direct.ML	Wed May 15 17:39:41 2013 +0200
@@ -37,7 +37,7 @@
 val max_solutions = Unsynchronized.ref 5;
 
 val _ =
-  ProofGeneralPgip.add_preference Preferences.category_tracing
+  ProofGeneral.add_preference Preferences.category_tracing
   (Unsynchronized.setmp auto true (fn () =>
     Preferences.bool_pref auto
       "auto-solve-direct"