Merge remote-tracking branch 'refs/remotes/origin/master'

msoos · Apr 11, 2024 · d7c67c6 · d7c67c6
2 parents b8ee271 + c9f7449
commit d7c67c6
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()