From 8ec6219010d8b488de0ad84aa33233680d59a976 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 6 Sep 2019 09:42:52 +0300
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_pb.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/smt/theory_pb.cpp b/src/smt/theory_pb.cpp
index 2dafb2f0a..40c6b6b87 100644
--- a/src/smt/theory_pb.cpp
+++ b/src/smt/theory_pb.cpp
@@ -1830,8 +1830,6 @@ namespace smt {
        
         TRACE("pb", display(tout, c, true); );
 
-        return false;
-
         bool_var v;
         context& ctx = get_context();
         ast_manager& m = get_manager();