src/Pure/General/position.ML

   if exists (member (op =) Markup.position_properties o #1) props then props
   else properties_of default @ props;
 
 fun report_text markup (pos as Pos (count, _)) txt =
   if invalid_count count then ()
-  else Output.status (Markup.markup (Markup.properties (properties_of pos) markup) txt);
+  else Output.report (Markup.markup (Markup.properties (properties_of pos) markup) txt);
 
 fun report markup pos = report_text markup pos "";
 
 
 (* str_of *)