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