From ce31a1de5082c55b5eed1825ae95d827c55a8b92 Mon Sep 17 00:00:00 2001
From: Vivien Maisonneuve <v.maisonneuve@gmail.com>
Date: Fri, 11 Jul 2014 18:31:45 +0200
Subject: [PATCH] Clean up an import in domains.py

---
 pypol/domains.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pypol/domains.py b/pypol/domains.py
index cd118e8..5d98af8 100644
--- a/pypol/domains.py
+++ b/pypol/domains.py
@@ -5,7 +5,7 @@ import re
 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
@@ -331,7 +331,7 @@ class Domain(GeometricObject):
     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:
-- 
2.20.1