diff --git a/python/tests/test_pycryptosat.py b/python/tests/test_pycryptosat.py index 850769ddb..a59e659a6 100644 --- 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()