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)
-
+    
     @_polymorphic_method
     def __mul__(self, other):
         if other.isconstant():