projects
/
linpy.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add unitary tests for Point class
[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):