src/Pure/Thy/thy_output.ML
changeset 30588 05f81bbb2614
parent 30573 49899f26fbd1
child 30589 cbe27c4ef417
     1.1 --- a/src/Pure/Thy/thy_output.ML	Thu Mar 19 15:22:53 2009 +0100
     1.2 +++ b/src/Pure/Thy/thy_output.ML	Thu Mar 19 15:22:53 2009 +0100
     1.3 @@ -149,7 +149,7 @@
     1.4    let
     1.5      fun expand (Antiquote.Text s) = s
     1.6        | expand (Antiquote.Antiq x) =
     1.7 -          let val (opts, src) = Antiquote.read_antiq lex antiq x in
     1.8 +          let val (opts, src) = T.read_antiq lex antiq x in
     1.9              options opts (fn () => command src state) ();  (*preview errors!*)
    1.10              PrintMode.with_modes (! modes @ Latex.modes)
    1.11                (Output.no_warnings (options opts (fn () => command src state))) ()