# HG changeset patch
# User Alpar Juttner <alpar@cs.elte.hu>
# Date 1239105410 -3600
# Node ID d5c39e9d1a4e221c722d59d8d9e37716245bc1ac
# Parent  ab6da8cf5ab2a745e9d3530d9f2fdbd15e2931b1# Parent  24682336c38e57ff58db0bd4fc10644da85fc11b
Merge

diff -r ab6da8cf5ab2 -r d5c39e9d1a4e tools/dimacs-solver.cc
--- a/tools/dimacs-solver.cc	Mon Apr 06 18:51:04 2009 +0100
+++ b/tools/dimacs-solver.cc	Tue Apr 07 12:56:50 2009 +0100
@@ -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())