src/Pure/Isar/attrib.ML
changeset 38980 af73cf0dc31f
parent 38330 e98236e5068b
child 39050 600de0485859
--- a/src/Pure/Isar/attrib.ML	Wed Sep 01 23:43:45 2010 +0200
+++ b/src/Pure/Isar/attrib.ML	Thu Sep 02 00:48:07 2010 +0200
@@ -392,7 +392,8 @@
 (* theory setup *)
 
 val _ = Context.>> (Context.map_theory
- (register_config Unify.trace_bound_value #>
+ (register_config show_question_marks_value #>
+  register_config Unify.trace_bound_value #>
   register_config Unify.search_bound_value #>
   register_config Unify.trace_simp_value #>
   register_config Unify.trace_types_value #>