src/Pure/Thy/thy_output.ML
changeset 27755 f7cdde18aeb3
parent 27732 8dbf5761a24a
child 27771 98499933a50f
     1.1 --- a/src/Pure/Thy/thy_output.ML	Wed Aug 06 00:12:02 2008 +0200
     1.2 +++ b/src/Pure/Thy/thy_output.ML	Wed Aug 06 00:12:21 2008 +0200
     1.3 @@ -148,7 +148,7 @@
     1.4  fun eval_antiquote lex node (str, pos) =
     1.5    let
     1.6      fun expand (Antiquote.Text s) = s
     1.7 -      | expand (Antiquote.Antiq x) =
     1.8 +      | expand (Antiquote.Antiq (x, _)) =
     1.9            let val (opts, src) = Antiquote.scan_arguments lex antiq x in
    1.10              options opts (fn () => command src node) ();  (*preview errors!*)
    1.11              PrintMode.with_modes (! modes @ Latex.modes)