]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc
* assertion too strict removed
[helm.git] / helm / DEVEL / mathml_editor / src / CMathMLFactoryXSLT.cc
index 027aebcdfd68a9a4428bfd9721f7bfdfc7c4a6f5..711ed2aeed7291869166ab76d3f2debecc22a182 100644 (file)
@@ -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"))
     {