unused;

--- a/src/Pure/General/completion.ML	Wed Mar 26 12:32:51 2014 +0100
+++ b/src/Pure/General/completion.ML	Wed Mar 26 14:15:34 2014 +0100
@@ -10,7 +10,6 @@
   val names: Position.T -> (string * (string * string)) list -> T
   val none: T
   val reported_text: T -> string
-  val report: T -> unit
   val suppress_abbrevs: string -> Markup.T list
 end;
 
@@ -46,8 +45,6 @@
     else ""
   end;
 
-val report = Output.report o reported_text;
-
 
 (* suppress short abbreviations *)