Merge pull request #749 from antonio-rojas/patch-1

Fix tests with Python 3.12
msoos · Apr 6, 2024 · c9f7449 · c9f7449
2 parents 4c9a6b6 + 9e13b56
commit c9f7449
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/python/tests/test_pycryptosat.py b/python/tests/test_pycryptosat.py
@@ -176,7 +176,7 @@ def test_one_dump(self):
 
         self.solver.start_getting_small_clauses(4, max_glue=10)
         x = self.solver.get_next_small_clause()
-        self.assertNotEquals(x, None)
+        self.assertNotEqual(x, None)
         self.solver.end_getting_small_clauses()