From 9b050e8d307888905ff74413e08dd1d56538577a Mon Sep 17 00:00:00 2001
From: Arie Gurfinkel <arie.gurfinkel@uwaterloo.ca>
Date: Fri, 29 Sep 2017 16:23:22 -0400
Subject: [PATCH] Fix benign warning

---
 src/muz/spacer/spacer_context.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/muz/spacer/spacer_context.h b/src/muz/spacer/spacer_context.h
index 61317e93b..3dd26db9a 100644
--- a/src/muz/spacer/spacer_context.h
+++ b/src/muz/spacer/spacer_context.h
@@ -405,7 +405,7 @@ public:
 
     bool is_invariant(unsigned level, expr* lem,
                       unsigned& solver_level, expr_ref_vector* core = nullptr)
-        { UNREACHABLE();}
+        { UNREACHABLE(); return false; }
 
     bool check_inductive(unsigned level, expr_ref_vector& state,
                          unsigned& assumes_level, unsigned weakness = UINT_MAX);