From bd3e0cd145fcfdbdf6cd3d483800060586228cb4 Mon Sep 17 00:00:00 2001
From: Vivien Maisonneuve <v.maisonneuve@gmail.com>
Date: Wed, 20 Aug 2014 14:19:15 +0200
Subject: [PATCH 1/1] Fix Domain.make_disjoint()
---
linpy/domains.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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):
--
2.20.1