From cd26dba054a8543511cc6f8ee3e76927040e8414 Mon Sep 17 00:00:00 2001 From: Nikhil Date: Mon, 22 Jul 2019 12:39:25 +0530 Subject: [PATCH] Use value over tuple --- mythril/laser/ethereum/state/account.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/mythril/laser/ethereum/state/account.py b/mythril/laser/ethereum/state/account.py index 0e7be11a..8e3f2cc8 100644 --- a/mythril/laser/ethereum/state/account.py +++ b/mythril/laser/ethereum/state/account.py @@ -135,7 +135,7 @@ class IteStorageRegion(StorageRegion): def __init__(self) -> None: """Constructor for Storage. """ - self.itedict = {} # type: Dict[BitVecFunc, Tuple[BitVecFunc, Any]] + self.itedict = {} # type: Dict[BitVecFunc, Any] def __getitem__(self, item: BitVecFunc): storage = symbol_factory.BitVecVal(0, 256) @@ -144,7 +144,7 @@ class IteStorageRegion(StorageRegion): return storage def __setitem__(self, key: BitVecFunc, value): - self.itedict[key] = (key, value) + self.itedict[key] = value def __deepcopy__(self, memodict={}): ite_copy = IteStorageRegion()