na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Sep 6, 2019 · 8ec6219 · 8ec6219
1 parent a92c82d
commit 8ec6219
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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();