--- a/src/Pure/Thy/thy_output.ML Sat Mar 21 20:39:38 2009 +0100
+++ b/src/Pure/Thy/thy_output.ML Sun Mar 22 19:10:58 2009 +0100
@@ -158,7 +158,7 @@
| expand (Antiquote.Close _) = "";
val ants = Antiquote.read (K ()) Antiquote.scan_text (Symbol_Pos.explode (txt, pos), pos);
in
- if Toplevel.is_toplevel state andalso exists Antiquote.is_antiq ants then
+ if Toplevel.is_toplevel state andalso not (forall Antiquote.is_text ants) then
error ("Unknown context -- cannot expand document antiquotations" ^ Position.str_of pos)
else implode (map expand ants)
end;