# HG changeset patch
# User Akos Ladanyi <ladanyi@tmit.bme.hu>
# Date 2009-04-06 19:51:54
# Node ID 24682336c38e57ff58db0bd4fc10644da85fc11b
# Parent  b53a9068e3e433be1336c000857f73f38c605c60

Fix compilation with MSVC (#258)

diff --git a/tools/dimacs-solver.cc b/tools/dimacs-solver.cc
--- a/tools/dimacs-solver.cc
+++ b/tools/dimacs-solver.cc
@@ -115,7 +115,7 @@
 void solve(ArgParser &ap, std::istream &is, std::ostream &os,
            DimacsDescriptor &desc)
 {
-  std::stringstream iss(ap["infcap"]);
+  std::stringstream iss(static_cast<std::string>(ap["infcap"]));
   Value infty;
   iss >> infty;
   if(iss.fail())