From 16bc5b8432d7e003ae176f9396897e1609762dcf Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 30 Apr 2020 19:30:54 -0700
Subject: [PATCH] build warning

---
 src/solver/solver.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/solver/solver.h b/src/solver/solver.h
index bed9d1f6a..1dd08c250 100644
--- a/src/solver/solver.h
+++ b/src/solver/solver.h
@@ -161,6 +161,7 @@ public:
     virtual lbool check_sat_cc(expr_ref_vector const& cube, vector<expr_ref_vector> const& clauses) {
         if (clauses.empty()) return check_sat(cube.size(), cube.c_ptr());
         NOT_IMPLEMENTED_YET();
+        return l_undef;
     }
 
     /**