changeset 30589 | cbe27c4ef417 |
parent 30588 | 05f81bbb2614 |
child 30590 | 1d9c9fcf8513 |
--- 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!*)