From d9df156abd0d292ccf0de103e01b3b2cd255e352 Mon Sep 17 00:00:00 2001
From: Ignace Bleukx <ignace.bleukx@kuleuven.be>
Date: Thu, 30 Nov 2023 09:22:58 +0100
Subject: [PATCH] fix test

---
 tests/test_pysat_cardinality.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/test_pysat_cardinality.py b/tests/test_pysat_cardinality.py
index 00b7bcf08..43cc1c9bd 100644
--- a/tests/test_pysat_cardinality.py
+++ b/tests/test_pysat_cardinality.py
@@ -126,7 +126,7 @@ def test_encode_pb_oob(self):
 
             ## check all types of linear constraints are handled
             for expression in expressions:
-                Model(expression).solve("pysat")
+                cp.Model(expression).solve("pysat")
 
     def test_pysat_different(self):