]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/Diff.cc
C++ 3.2 aware changes
[helm.git] / helm / DEVEL / mathml_editor / src / Diff.cc
index 294797195740482b29b7a9a6722c4f42d1a9bc8b..6c226babdf6ee40defcad41915ae993b37857fbe 100644 (file)
@@ -291,7 +291,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 +331,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 +365,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)