src/Pure/Thy/thy_output.ML
changeset 30589 cbe27c4ef417
parent 30588 05f81bbb2614
child 30590 1d9c9fcf8513
     1.1 --- a/src/Pure/Thy/thy_output.ML	Thu Mar 19 15:22:53 2009 +0100
     1.2 +++ b/src/Pure/Thy/thy_output.ML	Thu Mar 19 15:44:14 2009 +0100
     1.3 @@ -147,7 +147,7 @@
     1.4  
     1.5  fun eval_antiquote lex state (txt, pos) =
     1.6    let
     1.7 -    fun expand (Antiquote.Text s) = s
     1.8 +    fun expand (Antiquote.Text ss) = Symbol_Pos.content ss
     1.9        | expand (Antiquote.Antiq x) =
    1.10            let val (opts, src) = T.read_antiq lex antiq x in
    1.11              options opts (fn () => command src state) ();  (*preview errors!*)