Merge
authorAlpar Juttner <alpar@cs.elte.hu>
Tue, 07 Apr 2009 12:56:50 +0100
changeset 618d5c39e9d1a4e
parent 617 ab6da8cf5ab2
parent 616 24682336c38e
child 620 37216ca5b9c6
Merge
     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())