From aedabfff7af810e427118e75f3e73dafaef5d014 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 27 Apr 2017 11:24:30 -0700
Subject: [PATCH] disable newer pb encoding

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/rewriter/pb2bv_rewriter.cpp | 3 +++
 1 file changed, 3 insertions(+)

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) {