X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/e7c7ff1bc946ed2193f3f174b4407b19024d51f8..1154bf4ff8c2d7e7882703917a58d3a42995d78a:/pypol/polyhedra.py

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 = {}