REF: cast int as int, for pytype checking

tulip-control · Dec 8, 2023 · b8d4cb4 · b8d4cb4
1 parent 8367f2e
commit b8d4cb4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dd/mdd.py b/dd/mdd.py
@@ -528,7 +528,7 @@ def bdd_to_mdd(bdd, dvars):
 
 def _enumerate_integer(bits):
  n = len(bits)
- for i in range(2**n):
+ for i in range(int(2**n)):
  values = list(reversed(bin(i).lstrip('-0b').zfill(n)))
  d = {bit: int(v) for bit, v in zip(bits, values)}
  for bit in bits[len(values):]: