diff --git a/src/ast/rewriter/pb2bv_rewriter.cpp b/src/ast/rewriter/pb2bv_rewriter.cpp
index d85bdec41..3a134a13c 100644
--- a/src/ast/rewriter/pb2bv_rewriter.cpp
+++ b/src/ast/rewriter/pb2bv_rewriter.cpp
@@ -113,12 +113,15 @@ struct pb2bv_rewriter::imp {
                 return expr_ref((is_le == l_false)?m.mk_true():m.mk_false(), m);
             }
 
+#if 0
             expr_ref result(m);
             switch (is_le) {
             case l_true:  if (mk_le_tot(sz, args, k, result)) return result; else break;
             case l_false: if (mk_ge_tot(sz, args, k, result)) return result; else break;
             case l_undef: break;
             }
+#endif
+
 #if 0
             expr_ref result(m);
             switch (is_le) {