From ef58753ae7ab40fa8b783ac7dfa1f5c052c0cfd9 Mon Sep 17 00:00:00 2001
From: Arie Gurfinkel <arie.gurfinkel@uwaterloo.ca>
Date: Mon, 28 May 2018 18:20:57 -0700
Subject: [PATCH] Silence clang warning

---
 src/solver/solver_pool.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/solver/solver_pool.cpp b/src/solver/solver_pool.cpp
index dbad0999e..4b54639ec 100644
--- a/src/solver/solver_pool.cpp
+++ b/src/solver/solver_pool.cpp
@@ -107,6 +107,8 @@ public:
         }
     }
 
+    using solver_na2as::check_sat;
+
     lbool check_sat(expr_ref_vector const& cube, expr_ref_vector const& clause, model_ref* mdl, expr_ref_vector* core, proof_ref* pr) override {
         SASSERT(!m_pushed || get_scope_level() > 0);
         m_proof.reset();