printing out isl format but with wrong value

diff --git a/pypol/linear.py b/pypol/linear.py
index 343acc7..2ef0d2a 100644 (file)
--- a/pypol/linear.py
+++ b/pypol/linear.py
@@ -160,7 +160,7 @@ class Expression:
 
     def __rsub__(self, other):
         return -(self - other)
 
     def __rsub__(self, other):
         return -(self - other)

-
+    

     @_polymorphic_method
     def __mul__(self, other):
         if other.isconstant():
     @_polymorphic_method
     def __mul__(self, other):
         if other.isconstant():