src/Pure/Thy/thy_output.ML

--- a/src/Pure/Thy/thy_output.ML	Fri Apr 05 18:31:35 2013 +0200
+++ b/src/Pure/Thy/thy_output.ML	Fri Apr 05 20:43:43 2013 +0200
@@ -205,7 +205,7 @@
 
 
 fun check_text (txt, pos) state =
- (Position.report pos Markup.doc_source;
+ (Position.report pos Markup.document_source;
   if Toplevel.is_skipped_proof state then ()
   else ignore (eval_antiquote (#1 (Keyword.get_lexicons ())) state (txt, pos)));