src/Pure/Thy/thy_output.ML
changeset 30635 a7d175c48228
parent 30613 b22d35d9ef28
child 30642 0c9f9c49d5df
     1.1 --- a/src/Pure/Thy/thy_output.ML	Sat Mar 21 20:39:38 2009 +0100
     1.2 +++ b/src/Pure/Thy/thy_output.ML	Sun Mar 22 19:10:58 2009 +0100
     1.3 @@ -158,7 +158,7 @@
     1.4        | expand (Antiquote.Close _) = "";
     1.5      val ants = Antiquote.read (K ()) Antiquote.scan_text (Symbol_Pos.explode (txt, pos), pos);
     1.6    in
     1.7 -    if Toplevel.is_toplevel state andalso exists Antiquote.is_antiq ants then
     1.8 +    if Toplevel.is_toplevel state andalso not (forall Antiquote.is_text ants) then
     1.9        error ("Unknown context -- cannot expand document antiquotations" ^ Position.str_of pos)
    1.10      else implode (map expand ants)
    1.11    end;