1.1 --- a/tools/dimacs-solver.cc	Fri Apr 03 16:58:22 2009 +0100
     1.2 +++ b/tools/dimacs-solver.cc	Mon Apr 06 18:51:54 2009 +0100
     1.3 @@ -115,7 +115,7 @@
     1.4  void solve(ArgParser &ap, std::istream &is, std::ostream &os,
     1.5             DimacsDescriptor &desc)
     1.6  {
     1.7 -  std::stringstream iss(ap["infcap"]);
     1.8 +  std::stringstream iss(static_cast<std::string>(ap["infcap"]));
     1.9    Value infty;
    1.10    iss >> infty;
    1.11    if(iss.fail())