BUG: return str in all cases, from MDD.to_expr()

Found by `pytype`.
tulip-control · Dec 8, 2023 · 8367f2e · 8367f2e
1 parent 1fff92d
commit 8367f2e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/dd/mdd.py b/dd/mdd.py
@@ -296,9 +296,9 @@ def collect_garbage(self, roots=None):
 
     def to_expr(self, u):
         if u == 1:
-            return u
+            return str(u)
         elif u == -1:
-            return 0
+            return '0'
         t = self._succ[abs(u)]
         i = t[0]
         nodes = t[1:]