# HG changeset patch
# User aspinall
# Date 1096293751 -7200
# Node ID a383b0a412b0cf9cb118967fbcb7c7e66fbe2173
# Parent  09d78ec709c7cc4705278b5d6826cd469689b885
Add newline after CDATA for sake of HaXml

diff -r 09d78ec709c7 -r a383b0a412b0 src/Pure/General/xml.ML
--- a/src/Pure/General/xml.ML	Mon Sep 27 10:27:34 2004 +0200
+++ b/src/Pure/General/xml.ML	Mon Sep 27 16:02:31 2004 +0200
@@ -48,7 +48,7 @@
 
 val text = Library.translate_string encode;
 
-val cdata = enclose "<![CDATA[" "]]>";
+val cdata = enclose "<![CDATA[" "]]>\n"
 
 
 (* elements *)
@@ -63,6 +63,7 @@
 
 
 
+
 (** explicit XML trees **)
 
 datatype tree =