diff --git a/src/sat/sat_extension.h b/src/sat/sat_extension.h
index b96c577f8..1493044ca 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;
         }
     };