--- a/src/Pure/Thy/thy_output.ML Thu Mar 19 15:22:53 2009 +0100
+++ b/src/Pure/Thy/thy_output.ML Thu Mar 19 15:22:53 2009 +0100
@@ -149,7 +149,7 @@
let
fun expand (Antiquote.Text s) = s
| expand (Antiquote.Antiq x) =
- let val (opts, src) = Antiquote.read_antiq lex antiq x in
+ let val (opts, src) = T.read_antiq lex antiq x in
options opts (fn () => command src state) (); (*preview errors!*)
PrintMode.with_modes (! modes @ Latex.modes)
(Output.no_warnings (options opts (fn () => command src state))) ()