Commit 0ab408e1 by maarten

accept +Inf in pdb

git-svn-id: svn+ssh://gitlab/srv/svn-repos/pdb-redo/trunk@294 a1961a4f-ab94-4bcc-80e8-33b5a54de466
parent 521fafdd
......@@ -1020,6 +1020,9 @@ void Remark3Parser::storeCapture(const char* category, initializer_list<const ch
if (iequals(value, "NULL") or iequals(value, "NONE") or iequals(value, string(value.length(), '*')))
continue;
if (iequals(value, "+Inf"))
value = ".";
if (VERBOSE >= 3)
cerr << "storing: '" << value << "' in _" << category << '.' << item << endl;
......@@ -1120,6 +1123,9 @@ void Remark3Parser::storeRefineLsRestr(const char* type, initializer_list<const
if (value.empty() or iequals(value, "NULL") or iequals(value, string(value.length(), '*')))
continue;
if (iequals(value, "+Inf"))
value = ".";
if (not r)
{
std::tie(r, std::ignore) = mDb["refine_ls_restr"].emplace({});
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment