src/Pure/ProofGeneral/preferences.ML

--- a/src/Pure/ProofGeneral/preferences.ML	Fri Mar 26 20:30:03 2010 +0100
+++ b/src/Pure/ProofGeneral/preferences.ML	Fri Mar 26 23:46:22 2010 +0100
@@ -146,10 +146,7 @@
     "Show leading question mark of variable name"];
 
 val tracing_preferences =
- [bool_pref trace_simp
-    "trace-simplifier"
-    "Trace simplification rules.",
-  nat_pref trace_simp_depth_limit
+ [nat_pref trace_simp_depth_limit
     "trace-simplifier-depth"
     "Trace simplifier depth limit.",
   bool_pref trace_rules