]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/Diff.cc
ocaml 3.09 transition
[helm.git] / helm / DEVEL / mathml_editor / src / Diff.cc
index 294797195740482b29b7a9a6722c4f42d1a9bc8b..d8df81201aec2a034725fe13c9477b2c53e4f3c5 100644 (file)
@@ -27,6 +27,7 @@
 #include <functional>
 #include <vector>
 #include <algorithm>
+#include <cassert>
 
 #include "Diff.hh"
 
@@ -291,7 +292,7 @@ namespace GdomeSmartDOMExt
        if (elem.hasAttribute("count"))
          {
            unsigned count;
-           istringstream is(elem.getAttribute("count"));
+           std::istringstream is(elem.getAttribute("count"));
            is >> count;
            assert(count == 1);
          }
@@ -331,7 +332,7 @@ namespace GdomeSmartDOMExt
            unsigned count = 1;
            if (p2.hasAttribute("count"))
              {
-               istringstream is(p2.getAttribute("count"));
+               std::istringstream is(p2.getAttribute("count"));
                is >> count;
              }
            while (count-- > 0)
@@ -365,7 +366,7 @@ namespace GdomeSmartDOMExt
            unsigned count = 1;
            if (p2.hasAttribute("count"))
              {
-               istringstream is(p2.getAttribute("count"));
+               std::istringstream is(p2.getAttribute("count"));
                is >> count;
              }
            while (count-- > 0)