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;