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);