@@ -116,5 +116,5 @@
DimacsDescriptor &desc)
{
std::stringstream iss(ap["infcap"]);
std::stringstream iss(static_cast<std::string>(ap["infcap"]));
Value infty;
iss >> infty;