Changes in / [571:d5c39e9d1a4e:570:ab6da8cf5ab2] in lemon-main

File:

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

tools/dimacs-solver.cc

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