Polyhedron() constructor can return Empty or Universe

[linpy.git] / linpy / domains.py

diff --git a/linpy/domains.py b/linpy/domains.py
index 45f55a5..f26b2fc 100644 (file)
--- a/linpy/domains.py
+++ b/linpy/domains.py
@@ -235,7 +235,7 @@ class Domain(GeometricObject):
         Return an equivalent domain, whose polyhedra are disjoint.
         """
         islset = self._toislset(self.polyhedra, self.symbols)
         Return an equivalent domain, whose polyhedra are disjoint.
         """
         islset = self._toislset(self.polyhedra, self.symbols)

-        islset = libisl.isl_set_make_disjoint(mainctx, islset)
+        islset = libisl.isl_set_make_disjoint(islset)

         return self._fromislset(islset, self.symbols)
 
     def coalesce(self):
         return self._fromislset(islset, self.symbols)
 
     def coalesce(self):