--- a/src/Pure/Thy/thy_output.ML Thu Aug 07 19:21:42 2008 +0200
+++ b/src/Pure/Thy/thy_output.ML Thu Aug 07 19:21:43 2008 +0200
@@ -148,8 +148,8 @@
fun eval_antiquote lex node (str, pos) =
let
fun expand (Antiquote.Text s) = s
- | expand (Antiquote.Antiq (x, _)) =
- let val (opts, src) = Antiquote.read_arguments lex antiq x in
+ | expand (Antiquote.Antiq x) =
+ let val (opts, src) = Antiquote.read_antiq lex antiq x in
options opts (fn () => command src node) (); (*preview errors!*)
PrintMode.with_modes (! modes @ Latex.modes)
(Output.no_warnings (options opts (fn () => command src node))) ()