fix string consts for ywio

YosysHQ · Jul 25, 2024 · 3993ea9 · 3993ea9
1 parent 8c634d0
commit 3993ea9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/backends/smt2/ywio.py b/backends/smt2/ywio.py
@@ -391,10 +391,10 @@ def __init__(self, f):
 
         self.sigmap = WitnessSigMap(self.signals)
 
-        self.bits() = [step["bits"] for step in data["steps"]]
+        self.bits = [step["bits"] for step in data["steps"]]
 
     def skip_x(self):
-        self.bits() = [step.replace('x', '?') for step in self.bits()]
+        self.bits = [step.replace('x', '?') for step in self.bits()]
 
     def init_step(self):
         return self.step(0)