src/Pure/Isar/attrib.ML
changeset 39050 600de0485859
parent 38980 af73cf0dc31f
child 39115 a00da1674c1c
     1.1 --- a/src/Pure/Isar/attrib.ML	Fri Sep 03 10:58:11 2010 +0200
     1.2 +++ b/src/Pure/Isar/attrib.ML	Fri Sep 03 11:21:58 2010 +0200
     1.3 @@ -392,7 +392,8 @@
     1.4  (* theory setup *)
     1.5  
     1.6  val _ = Context.>> (Context.map_theory
     1.7 - (register_config show_question_marks_value #>
     1.8 + (register_config Syntax.show_question_marks_value #>
     1.9 +  register_config Goal_Display.show_consts_value #>
    1.10    register_config Unify.trace_bound_value #>
    1.11    register_config Unify.search_bound_value #>
    1.12    register_config Unify.trace_simp_value #>