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();