X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/blobdiff_plain/e7c7ff1bc946ed2193f3f174b4407b19024d51f8..10808766a204fcc854ae30fe471ada80bab1f60f:/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 = {}