Update libsmtutil/Z3Interface.cpp

Co-authored-by: Kamil Śliwak <cameel2@gmail.com>
ethereum · Apr 16, 2024 · 9bb6d16 · 9bb6d16
1 parent fe4c531
commit 9bb6d16
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libsmtutil/Z3Interface.cpp b/libsmtutil/Z3Interface.cpp
@@ -172,7 +172,7 @@ z3::expr Z3Interface::toZ3Expr(Expression const& _expr)
 			else if (n == "tuple_constructor")
 			{
 				auto constructor = z3::func_decl(m_context, Z3_get_tuple_sort_mk_decl(m_context, z3Sort(*_expr.sort)));
-				smtAssert(constructor.arity() == arguments.size(), "");
+				smtAssert(constructor.arity() == arguments.size());
 				return constructor();
 			}
 			else