]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/CMathMLFactoryXSLTDiff.cc
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / mathml_editor / src / CMathMLFactoryXSLTDiff.cc
index 91f32e5399ed65064aa9e0a47e61c88fc3b0f5ef..7893fcb46972661a6390aba22ede83642dc8d7c8 100644 (file)
@@ -29,6 +29,7 @@
 #include "TDocument.hh"
 #include "CMathMLFactoryXSLTDiff.hh"
 #include "AMathMLConsumer.hh"
+#include <cassert>
 
 CMathMLFactoryXSLTDiff::CMathMLFactoryXSLTDiff(ALogger& l, const DOMX::XSLTStylesheet& s)
   : AMathMLFactory(l), style(s)
@@ -52,11 +53,11 @@ CMathMLFactoryXSLTDiff::documentModified(TDocument& doc)
   assert(res);
   //cout << "*** THE TEX DOCUMENT" << endl;
   //style.save(doc.document(), stdout);
-  cout << "*** THE CURRENT DOCUMENT:" << endl;
+  std::cout << "*** THE CURRENT DOCUMENT:" << std::endl;
   if (result) style.save(result, stdout);
-  cout << "*** THE NEW DOCUMENT:" << endl;
+  std::cout << "*** THE NEW DOCUMENT:" << std::endl;
   style.save(res, stdout);
-  cout << "*** THE DIFF:" << endl;
+  std::cout << "*** THE DIFF:" << std::endl;
   DOMX::Diff diff = DOMX::Diff::diff(result, res);
   style.save(diff.document(), stdout);
   diff.patch();