src/Pure/Isar/keyword.ML
changeset 38413 224efb14f258
parent 38236 d8c7be27e01d
child 40397 4ad71312a192
     1.1 --- a/src/Pure/Isar/keyword.ML	Sat Aug 14 18:43:45 2010 +0200
     1.2 +++ b/src/Pure/Isar/keyword.ML	Sat Aug 14 21:25:20 2010 +0200
     1.3 @@ -151,7 +151,8 @@
     1.4  val keyword_statusN = "keyword_status";
     1.5  
     1.6  fun status_message s =
     1.7 -  (if print_mode_active keyword_statusN then Output.status else writeln) s;
     1.8 +  Position.setmp_thread_data Position.none
     1.9 +    (if print_mode_active keyword_statusN then Output.status else writeln) s;
    1.10  
    1.11  fun keyword_status name =
    1.12    status_message (Markup.markup (Markup.keyword_decl name)