--- a/src/Doc/antiquote_setup.ML Wed Mar 25 10:59:28 2015 +0100
+++ b/src/Doc/antiquote_setup.ML Wed Mar 25 11:39:52 2015 +0100
@@ -74,7 +74,7 @@
(Input.source_content source, ML_Lex.read_source false source);
fun index_ml name kind ml = Thy_Output.antiquotation name
- (Scan.lift (Args.text_source_position -- Scan.option (Args.colon |-- Args.text_source_position)))
+ (Scan.lift (Args.text_input -- Scan.option (Args.colon |-- Args.text_input)))
(fn {context = ctxt, ...} => fn (source1, opt_source2) =>
let
val (txt1, toks1) = prep_ml source1;