src/Pure/Tools/proof_general_pure.ML

--- a/src/Pure/Tools/proof_general_pure.ML	Fri Jul 19 16:36:13 2013 +0200
+++ b/src/Pure/Tools/proof_general_pure.ML	Fri Jul 19 17:35:12 2013 +0200
@@ -107,7 +107,7 @@
 val _ =
   ProofGeneral.preference_bool ProofGeneral.category_tracing
     NONE
-    Pattern.trace_unify_fail
+    Pattern.unify_trace_failure_default
     "trace-unification"
     "Output error diagnostics during unification";