From 4db45473597042d454d4114d493449f260702fb4 Mon Sep 17 00:00:00 2001
From: Arie Gurfinkel <arie.gurfinkel@uwaterloo.ca>
Date: Sun, 27 May 2018 21:31:31 -0700
Subject: [PATCH] silence clang warning

---
 src/smt/smt_solver.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/smt/smt_solver.cpp b/src/smt/smt_solver.cpp
index 77f3f32db..0f5338ba6 100644
--- a/src/smt/smt_solver.cpp
+++ b/src/smt/smt_solver.cpp
@@ -190,6 +190,8 @@ namespace smt {
             return m_context.check(num_assumptions, assumptions);
         }
 
+        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 {
             lbool r = m_context.check(cube, clause);
             switch (r) {