Add warning in widening documentation

[linpy.git] / linpy / tests / test_domains.py

diff --git a/linpy/tests/test_domains.py b/linpy/tests/test_domains.py
index 9e9f6fa..0955a09 100644 (file)
--- a/linpy/tests/test_domains.py
+++ b/linpy/tests/test_domains.py
@@ -53,9 +53,9 @@ class TestDomain(unittest.TestCase):
             Polyhedron(1)
 
     def test_disjoint(self):
             Polyhedron(1)
 
     def test_disjoint(self):

-        self.assertEqual(self.square1.disjoint(), self.disjoint)
-        self.assertEqual(self.empty.disjoint(), Empty)
-        self.assertEqual(self.universe.disjoint(), self.universe)
+        self.assertEqual(self.square1.make_disjoint(), self.disjoint)
+        self.assertEqual(self.empty.make_disjoint(), Empty)
+        self.assertEqual(self.universe.make_disjoint(), self.universe)

 
     def test_isempty(self):
         self.assertFalse(self.square1.isempty())
 
     def test_isempty(self):
         self.assertFalse(self.square1.isempty())