# HG changeset patch
# User wenzelm
# Date 1574521362 -3600
# Node ID 1299c8c91ed583b804cf1c2f5c10109a30ffcebd
# Parent  25b872d1d4219703607f01c4a9032c4d9633dfee
more robust: size varies due to different position information in "isabelle build" vs. "isabelle dump";

diff -r 25b872d1d421 -r 1299c8c91ed5 src/HOL/Proofs/ex/XML_Data.thy
--- a/src/HOL/Proofs/ex/XML_Data.thy	Sat Nov 23 14:48:44 2019 +0100
+++ b/src/HOL/Proofs/ex/XML_Data.thy	Sat Nov 23 16:02:42 2019 +0100
@@ -52,7 +52,7 @@
   val thm = import_proof thy1 xml;
 
   val xml_size = size (YXML.string_of_body xml);
-  \<^assert> (xml_size > 400000);
+  \<^assert> (xml_size > 100000);
 \<close>
 
 end