--- a/src/Pure/ProofGeneral/preferences.ML Fri Dec 17 14:09:37 2010 +0100
+++ b/src/Pure/ProofGeneral/preferences.ML Fri Dec 17 16:25:21 2010 +0100
@@ -147,10 +147,10 @@
"Show leading question mark of variable name"];
val tracing_preferences =
- [bool_pref simp_trace_default
+ [bool_pref MetaSimplifier.simp_trace_default
"trace-simplifier"
"Trace simplification rules.",
- nat_pref simp_trace_depth_limit_default
+ nat_pref MetaSimplifier.simp_trace_depth_limit_default
"trace-simplifier-depth"
"Trace simplifier depth limit.",
bool_pref trace_rules