X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/e7c7ff1bc946ed2193f3f174b4407b19024d51f8..4eabec44af2e635408d9cba8672e947145cc6971:/pypol/polyhedra.py?ds=inline

diff --git a/pypol/polyhedra.py b/pypol/polyhedra.py
index 44826c1..ac67cf8 100644
--- a/pypol/polyhedra.py
+++ b/pypol/polyhedra.py
@@ -91,7 +91,6 @@ class Polyhedron(Domain):
         equalities = []
         inequalities = []
         for islconstraint in islconstraints:
-            islpr = libisl.isl_printer_to_str(mainctx)
             constant = libisl.isl_constraint_get_constant_val(islconstraint)
             constant = islhelper.isl_val_to_int(constant)
             coefficients = {}