Helper module for sympy in unitary tests
[linpy.git] / pypol / polyhedra.py
index 44826c1..ac67cf8 100644 (file)
@@ -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 = {}