# HG changeset patch # User Alpar Juttner <alpar@cs.elte.hu> # Date 2009-04-07 13:56:50 # Node ID d5c39e9d1a4e221c722d59d8d9e37716245bc1ac # Parent ab6da8cf5ab2a745e9d3530d9f2fdbd15e2931b1 # Parent 24682336c38e57ff58db0bd4fc10644da85fc11b Merge 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())