X-Git-Url: https://svn.cri.ensmp.fr/git/linpy.git/blobdiff_plain/0da8076d0fb7aab6c4cb61b55db4fcf3a916f588..fd990941199581e977b4455345b55f841bbaa05a:/pypol/polyhedra.py?ds=sidebyside 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 = {}