--- a/src/Doc/antiquote_setup.ML Tue Mar 25 15:15:33 2014 +0100
+++ b/src/Doc/antiquote_setup.ML Tue Mar 25 16:11:00 2014 +0100
@@ -78,7 +78,7 @@
| _ => error ("Single ML name expected in input: " ^ quote txt));
fun prep_ml source =
- (#1 (Symbol_Pos.source_content source), ML_Lex.read_source source);
+ (#1 (Symbol_Pos.source_content source), ML_Lex.read_source false source);
fun index_ml name kind ml = Thy_Output.antiquotation name
(Scan.lift (Args.name_source_position -- Scan.option (Args.colon |-- Args.name_source_position)))