From ea032b56c078d211955adc287f6dcac717b544e6 Mon Sep 17 00:00:00 2001
From: Arie Gurfinkel <arie.gurfinkel@uwaterloo.ca>
Date: Sun, 27 May 2018 21:37:34 -0700
Subject: [PATCH] Return false when clause cannot be decided

---
 src/smt/smt_context.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp
index 1e2599802..4210039b0 100644
--- a/src/smt/smt_context.cpp
+++ b/src/smt/smt_context.cpp
@@ -1822,7 +1822,7 @@ namespace smt {
             case l_undef: // made a decision
                 return true;
             case l_false: // inconsistent
-                break;
+                return false;
             }
         }
         bool_var var;