From 74cfcc4730882966a9d6eed9f00f5bb2634a5053 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 11 Nov 2019 07:19:20 -0800
Subject: [PATCH] clang warnings

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/tactic/fd_solver/smtfd_solver.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/tactic/fd_solver/smtfd_solver.cpp b/src/tactic/fd_solver/smtfd_solver.cpp
index f7aa3d307..303bd582a 100644
--- a/src/tactic/fd_solver/smtfd_solver.cpp
+++ b/src/tactic/fd_solver/smtfd_solver.cpp
@@ -379,7 +379,9 @@ namespace smtfd {
             m_abs(a),
             m_lemmas(m), 
             m_rewriter(m)
-        {}
+        {
+            (void)m;
+        }
 
         void set_max_lemmas(unsigned max) {            
             m_max_lemmas = max;