X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Fsrc%2FCMathMLFactoryXSLT.cc;h=07eb4b3540e19ff1d9ffca835b273aabc46746a3;hb=9f60b3b0f4460aec52ec241037f6c475b421dd15;hp=e5cac369f890060c31ef8ac4dcfab6cff30f3282;hpb=5a369548a2f04fb59b5cbb94526325aae9bf415a;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc b/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc
index e5cac369f..07eb4b354 100644
--- a/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc
+++ b/helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLT.cc
@@ -29,6 +29,7 @@
 #include "TDocument.hh"
 #include "CMathMLFactoryXSLT.hh"
 #include "AMathMLConsumer.hh"
+#include <cassert>
 
 CMathMLFactoryXSLT::CMathMLFactoryXSLT(ALogger& l, const DOMX::XSLTStylesheet& s)
   : AMathMLFactory(l), style(s)
@@ -48,7 +49,7 @@ CMathMLFactoryXSLT::documentModified(TDocument& doc)
 				       DOM::GdomeString("'" + std::string(dirty["id"]) + "'")));
   DOM::Document res = style.apply(doc.document(), dirtyId);
   assert(res);
-  style.save(doc.document(), stdout);
+  //style.save(doc.document(), stdout);
 
   if (DOM::Element root = res.get_documentElement())
 	  {
@@ -74,7 +75,7 @@ CMathMLFactoryXSLT::documentModified(TDocument& doc)
       logger.error("The stylesheet produced an empty document");
     }
 
-  style.save(result, stdout);
+  //style.save(result, stdout);
 }
 
 bool