--- a/src/Pure/Thy/thy_output.ML Tue Mar 24 11:39:25 2009 +0100
+++ b/src/Pure/Thy/thy_output.ML Tue Mar 24 11:57:41 2009 +0100
@@ -148,8 +148,8 @@
fun eval_antiquote lex state (txt, pos) =
let
fun expand (Antiquote.Text ss) = Symbol_Pos.content ss
- | expand (Antiquote.Antiq x) =
- let val (opts, src) = T.read_antiq lex antiq x in
+ | expand (Antiquote.Antiq (ss, (pos, _))) =
+ let val (opts, src) = T.read_antiq lex antiq (ss, pos) in
options opts (fn () => command src state) (); (*preview errors!*)
PrintMode.with_modes (! modes @ Latex.modes)
(Output.no_warnings (options opts (fn () => command src state))) ()