From 02c6298ab8d55558b98cd71761e51e2d0d12f642 Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Tue, 31 May 2022 14:06:12 +0200
Subject: [PATCH] Cope with trailing whitespace.

---
 tools/solsmt.cpp | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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