diff -r 05f81bbb2614 -r cbe27c4ef417 src/Pure/Thy/thy_output.ML
--- 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:44:14 2009 +0100
@@ -147,7 +147,7 @@
 
 fun eval_antiquote lex state (txt, pos) =
   let
-    fun expand (Antiquote.Text s) = s
+    fun expand (Antiquote.Text ss) = Symbol_Pos.content ss
       | expand (Antiquote.Antiq x) =
           let val (opts, src) = T.read_antiq lex antiq x in
             options opts (fn () => command src state) ();  (*preview errors!*)