src/Doc/antiquote_setup.ML
changeset 59809 87641097d0f3
parent 59175 bf465f335e85
child 61462 e16649b70107
     1.1 --- a/src/Doc/antiquote_setup.ML	Wed Mar 25 10:59:28 2015 +0100
     1.2 +++ b/src/Doc/antiquote_setup.ML	Wed Mar 25 11:39:52 2015 +0100
     1.3 @@ -74,7 +74,7 @@
     1.4    (Input.source_content source, ML_Lex.read_source false source);
     1.5  
     1.6  fun index_ml name kind ml = Thy_Output.antiquotation name
     1.7 -  (Scan.lift (Args.text_source_position -- Scan.option (Args.colon |-- Args.text_source_position)))
     1.8 +  (Scan.lift (Args.text_input -- Scan.option (Args.colon |-- Args.text_input)))
     1.9    (fn {context = ctxt, ...} => fn (source1, opt_source2) =>
    1.10      let
    1.11        val (txt1, toks1) = prep_ml source1;