From 01e7c579cf300410541db0f03e98d1acfbfbbcf5 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Wed, 26 Jun 2019 21:00:04 +0530 Subject: [PATCH] Fix type hints --- mythril/laser/ethereum/state/account.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/laser/ethereum/state/account.py b/mythril/laser/ethereum/state/account.py index 2b465706..7141a919 100644 --- a/mythril/laser/ethereum/state/account.py +++ b/mythril/laser/ethereum/state/account.py @@ -23,7 +23,7 @@ class Storage: self._standard_storage = K(256, 256, 0) # type: BaseArray else: self._standard_storage = Array("Storage", 256, 256) - self._map_storage = {} + self._map_storage = {} # type: Dict[BitVec, BaseArray] self._keccak_map_storage = {} # type: Dict[BitVec, BaseArray] self.printable_storage = {} # type: Dict[BitVec, BitVec]