]> matita.cs.unibo.it Git - helm.git/commitdiff
* assertion too strict removed
authorLuca Padovani <luca.padovani@unito.it>
Thu, 13 Feb 2003 13:22:00 +0000 (13:22 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 13 Feb 2003 13:22:00 +0000 (13:22 +0000)
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"))
     {