src/Pure/PIDE/markup.ML

--- a/src/Pure/PIDE/markup.ML	Thu Mar 06 14:38:54 2014 +0100
+++ b/src/Pure/PIDE/markup.ML	Thu Mar 06 16:12:26 2014 +0100
@@ -189,6 +189,7 @@
   val enclose: T -> Output.output -> Output.output
   val markup: T -> string -> string
   val markup_only: T -> string
+  val markup_report: string -> string
 end;
 
 structure Markup: MARKUP =
@@ -602,4 +603,7 @@
 
 fun markup_only m = markup m "";
 
+fun markup_report "" = ""
+  | markup_report txt = markup report txt;
+
 end;