From 4f88e9aea6540ec54d0e164bf08012d4473c4761 Mon Sep 17 00:00:00 2001 From: Teemu Ollakka Date: Thu, 20 Dec 2018 19:33:40 +0200 Subject: [PATCH] codership/wsrep-lib#34 Fixed non-debug compilation error --- src/server_state.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/server_state.cpp b/src/server_state.cpp index 8c72931..70956d7 100644 --- a/src/server_state.cpp +++ b/src/server_state.cpp @@ -681,7 +681,7 @@ void wsrep::server_state::on_connect(const wsrep::view& view) } void wsrep::server_state::on_primary_view( - const wsrep::view& view, + const wsrep::view& view WSREP_UNUSED, wsrep::high_priority_service* high_priority_service) { wsrep::unique_lock lock(mutex_);