cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Cope with trailing whitespace.

Browse Source
This commit is contained in:
chriseth 2022-05-31 14:06:12 +02:00
parent 3cc853c2a0
commit 02c6298ab8
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tools/solsmt.cpp
View File

@ -227,8 +227,12 @@ int main(int argc, char** argv)
map<string, SortPointer> variableSorts; map<string, SortPointer> variableSorts;
BooleanLPSolver solver; BooleanLPSolver solver;
while (!inputToParse.empty()) while (true)
{ {
while (!inputToParse.empty() && isWhiteSpace(inputToParse.front()))
inputToParse = inputToParse.substr(1);
if (inputToParse.empty())
break;
//cout << line << endl; //cout << line << endl;
SMTLib2Parser parser(inputToParse); SMTLib2Parser parser(inputToParse);
SMTLib2Expression expr = parser.parseExpression(); SMTLib2Expression expr = parser.parseExpression();