From da2826b55e29317cef6db8bc07bfd0c6f0c0d788 Mon Sep 17 00:00:00 2001 From: Sebastian Buchwald Date: Wed, 20 Sep 2017 16:13:41 +0200 Subject: [PATCH] Fix warnings in C++ API When assertions are disabled, the compiler warns about unused function parameters. --- src/api/c++/z3++.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h index 6d8ff3b35..8938fb1b5 100644 --- a/src/api/c++/z3++.h +++ b/src/api/c++/z3++.h @@ -354,7 +354,7 @@ namespace z3 { Z3_error_code check_error() const { return m_ctx->check_error(); } friend void check_context(object const & a, object const & b); }; - inline void check_context(object const & a, object const & b) { assert(a.m_ctx == b.m_ctx); } + inline void check_context(object const & a, object const & b) { (void)a; (void)b; assert(a.m_ctx == b.m_ctx); } class symbol : public object { Z3_symbol m_sym;