Clean up an import in domains.py

diff --git a/pypol/domains.py b/pypol/domains.py
index cd118e8..5d98af8 100644 (file)
--- a/pypol/domains.py
+++ b/pypol/domains.py
@@ -5,7 +5,7 @@ import re
 from fractions import Fraction
 
 from . import islhelper
 from fractions import Fraction
 
 from . import islhelper

-from .islhelper import mainctx, libisl, isl_set_basic_sets
+from .islhelper import mainctx, libisl

 from .geometry import GeometricObject
 from .coordinates import Point
 from .linexprs import Expression, Symbol
 from .geometry import GeometricObject
 from .coordinates import Point
 from .linexprs import Expression, Symbol


@@ -331,7 +331,7 @@ class Domain(GeometricObject):
     def _fromislset(cls, islset, symbols):
         from .polyhedra import Polyhedron
         islset = libisl.isl_set_remove_divs(islset)
     def _fromislset(cls, islset, symbols):
         from .polyhedra import Polyhedron
         islset = libisl.isl_set_remove_divs(islset)

-        islbsets = isl_set_basic_sets(islset)
+        islbsets = islhelper.isl_set_basic_sets(islset)

         libisl.isl_set_free(islset)
         polyhedra = []
         for islbset in islbsets:
         libisl.isl_set_free(islset)
         polyhedra = []
         for islbset in islbsets: