src/Pure/Thy/thy_output.ML
changeset 38980 af73cf0dc31f
parent 38832 fc0aa40a1b08
child 39125 f45d332a90e3
     1.1 --- a/src/Pure/Thy/thy_output.ML	Wed Sep 01 23:43:45 2010 +0200
     1.2 +++ b/src/Pure/Thy/thy_output.ML	Thu Sep 02 00:48:07 2010 +0200
     1.3 @@ -447,7 +447,7 @@
     1.4  val _ = add_option "show_types" (add_wrapper o setmp_CRITICAL Syntax.show_types o boolean);
     1.5  val _ = add_option "show_sorts" (add_wrapper o setmp_CRITICAL Syntax.show_sorts o boolean);
     1.6  val _ = add_option "show_structs" (add_wrapper o setmp_CRITICAL show_structs o boolean);
     1.7 -val _ = add_option "show_question_marks" (add_wrapper o setmp_CRITICAL show_question_marks o boolean);
     1.8 +val _ = add_option "show_question_marks" (Config.put show_question_marks o boolean);
     1.9  val _ = add_option "long_names" (add_wrapper o setmp_CRITICAL Name_Space.long_names o boolean);
    1.10  val _ = add_option "short_names" (add_wrapper o setmp_CRITICAL Name_Space.short_names o boolean);
    1.11  val _ = add_option "unique_names" (add_wrapper o setmp_CRITICAL Name_Space.unique_names o boolean);