From: Luca Padovani <luca.padovani@unito.it>
Date: Thu, 13 Feb 2003 13:22:00 +0000 (+0000)
Subject: * assertion too strict removed
X-Git-Tag: V_0_0_4_1~44
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=305502d014e6ac7bde45e48de615bd9c77b0e573

* assertion too strict removed
---

diff --git a/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc b/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc
index 027aebcdf..711ed2aee 100644
--- a/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc
+++ b/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc
@@ -28,7 +28,6 @@ CMathMLFactoryXSLT::documentModified(TDocument& doc)
 
   DOM::Element root = res.get_documentElement();
   assert(root);
-  assert(root.hasAttribute("xref"));
 
   if (result.get_documentElement().hasAttribute("xref"))
     {