src/Pure/Thy/thy_load.ML

--- a/src/Pure/Thy/thy_load.ML	Sun Aug 21 13:36:23 2011 +0200
+++ b/src/Pure/Thy/thy_load.ML	Sun Aug 21 13:42:55 2011 +0200
@@ -173,7 +173,6 @@
 
     val toks = Source.exhausted (Thy_Syntax.token_source lexs pos (Source.of_string text));
     val spans = Source.exhaust (Thy_Syntax.span_source toks);
-    val _ = List.app Thy_Syntax.report_span spans;  (* FIXME ?? *)
     val elements =
       Source.exhaust (Thy_Syntax.element_source (Source.of_list spans))
       |> Par_List.map_name "Outer_Syntax.prepare_element"