From f940e1f9e710a06a9ca5902835f0fe68f67336c8 Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Tue, 10 May 2022 08:44:55 +0200
Subject: [PATCH] Disallow unknown operators.

---
 libsolutil/BooleanLP.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/libsolutil/BooleanLP.cpp b/libsolutil/BooleanLP.cpp
index bc1b8367c..f8ef0e6b7 100644
--- a/libsolutil/BooleanLP.cpp
+++ b/libsolutil/BooleanLP.cpp
@@ -202,7 +202,10 @@ void BooleanLPSolver::addAssertion(Expression const& _expr)
 	else if (_expr.name == ">")
 		addAssertion(_expr.arguments.at(1) < _expr.arguments.at(0));
 	else
+	{
 		cout << "Unknown operator " << _expr.name << endl;
+		solAssert(false);
+	}
 }