tools/dimacs-solver.cc
changeset 571 d5c39e9d1a4e
parent 561 6e0525ec5355
child 584 33c6b6e755cd
     1.1 --- a/tools/dimacs-solver.cc	Mon Apr 06 18:51:04 2009 +0100
     1.2 +++ b/tools/dimacs-solver.cc	Tue Apr 07 12:56:50 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())