pyupgrade

runtimeverification · Jul 30, 2024 · 946c64b · 946c64b
1 parent 1cf1e0f
commit 946c64b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ksoroban/scval.py b/src/ksoroban/scval.py
@@ -113,7 +113,7 @@ class SCVec(SCValue):
     val: tuple[SCValue]
 
     def to_kast(self) -> KInner:
-        return sc_vec((v.to_kast() for v in self.val))
+        return sc_vec(v.to_kast() for v in self.val)
 
 
 @dataclass(frozen=True)