From 21e13bc5f96c5acc2fc627b7c0b0ca99d7e2f866 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 26 Aug 2020 13:53:28 -0700
Subject: [PATCH] re-add pb extraction

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/sat_extension.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/sat/sat_extension.h b/src/sat/sat_extension.h
index b96c577f8fa..1493044caf4 100644
--- a/src/sat/sat_extension.h
+++ b/src/sat/sat_extension.h
@@ -87,7 +87,7 @@ namespace sat {
 
         virtual bool extract_pb(std::function<void(unsigned sz, literal const* c, unsigned k)>& card,
                                 std::function<void(unsigned sz, literal const* c, unsigned const* coeffs, unsigned k)>& pb) {
-            return true;
+            return false;
         }
     };