Changes in / [617:ab6da8cf5ab2:618:d5c39e9d1a4e] in lemon

File:

• tools/dimacs-solver.cc (modified) (1 diff)

tools/dimacs-solver.cc

@@ -116 +116 @@
            DimacsDescriptor &desc)
 {
-  std::stringstream iss(ap["infcap"]);
+  std::stringstream iss(static_cast<std::string>(ap["infcap"]));
   Value infty;
   iss >> infty;