From acfe18cd4ed83af23b0076f35d6f7b50ffc1e25d Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Thu, 23 Jun 2022 17:14:59 +0200
Subject: [PATCH] Ignore set-option.

---
 tools/solsmt.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tools/solsmt.cpp b/tools/solsmt.cpp
index 5415b5e8e..1132d9165 100644
--- a/tools/solsmt.cpp
+++ b/tools/solsmt.cpp
@@ -250,6 +250,9 @@ int main(int argc, char** argv)
 		string_view cmd = command(expr);
 		if (cmd == "set-info")
 			continue; // ignore
+		else if (cmd == "set-option")
+// TODO we sholud handle print-success
+			continue; // ignore
 		else if (cmd == "declare-fun")
 		{
 			solAssert(items.size() == 4);