Remove super calls with parameters

Ref. eng/recordflux/RecordFlux!1474
AdaCore · Feb 14, 2024 · b40caf0 · b40caf0
1 parent c4d1e92
commit b40caf0
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/rflx/ir.py b/rflx/ir.py
@@ -633,9 +633,6 @@ def substituted(self, mapping: Mapping[ID, ID]) -> IntAttr:
     def to_z3_expr(self) -> z3.ArithRef:
         return z3.Int(str(self))
 
-    def _update_str(self) -> None:
-        super(IntAttr, self)._update_str()  # noqa: UP008
-
 
 @define(eq=False)
 class Size(IntAttr):
@@ -1374,7 +1371,7 @@ def type_(self) -> rty.AnyInteger:
         return self.return_type
 
     def to_z3_expr(self) -> z3.ArithRef:
-        result = super(IntIfExpr, self).to_z3_expr()  # noqa: UP008
+        result = super().to_z3_expr()
         assert isinstance(result, z3.ArithRef)
         return result
 
@@ -1391,7 +1388,7 @@ def type_(self) -> rty.Enumeration:
         return rty.BOOLEAN
 
     def to_z3_expr(self) -> z3.BoolRef:
-        result = super(BoolIfExpr, self).to_z3_expr()  # noqa: UP008
+        result = super().to_z3_expr()
         assert isinstance(result, z3.BoolRef)
         return result