From b8d4cb42dd13a01763b68829e184be02be1c6e6c Mon Sep 17 00:00:00 2001 From: Ioannis Filippidis Date: Wed, 31 Aug 2022 16:13:57 +0200 Subject: [PATCH] REF: cast `int` as `int`, for `pytype` checking --- dd/mdd.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dd/mdd.py b/dd/mdd.py index fc9a6d92..c73dd1b2 100644 --- 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):]: