From: Vivien Maisonneuve Date: Wed, 20 Aug 2014 12:19:15 +0000 (+0200) Subject: Fix Domain.make_disjoint() X-Git-Tag: 1.0~1 X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/commitdiff_plain/bd3e0cd145fcfdbdf6cd3d483800060586228cb4?ds=sidebyside;hp=33d593f633df2de00010d668e3ef17f1b6152ac9 Fix Domain.make_disjoint() --- diff --git a/linpy/domains.py b/linpy/domains.py index 45f55a5..f26b2fc 100644 --- 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) - islset = libisl.isl_set_make_disjoint(mainctx, islset) + islset = libisl.isl_set_make_disjoint(islset) return self._fromislset(islset, self.symbols) def coalesce(self):