From c6b0fc444c6e36bc2c7696c24c724b33ac5e3586 Mon Sep 17 00:00:00 2001 From: AlexVonB Date: Mon, 5 Sep 2016 16:22:00 +0200 Subject: [PATCH] Fix VisualStudio 2010 compiler warning C4100 When compiling with Visual Studio 2010 the buildlog warns of the following: `z3++.h: warning C4100: 'e' : unreferenced formal parameter` and `z3++.h: warning C4100: 'c' : unreferenced formal parameter`. This merge request removes this warning. --- 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 3271d4b0f..a9a4efd03 100644 --- a/src/api/c++/z3++.h +++ b/src/api/c++/z3++.h @@ -127,7 +127,7 @@ namespace z3 { */ class context { Z3_context m_ctx; - static void error_handler(Z3_context c, Z3_error_code e) { /* do nothing */ } + static void error_handler(Z3_context /*c*/, Z3_error_code /*e*/) { /* do nothing */ } void init(config & c) { m_ctx = Z3_mk_context_rc(c); Z3_set_error_handler(m_ctx, error_handler);