diff --git a/mythril/laser/ethereum/state/account.py b/mythril/laser/ethereum/state/account.py index 98ca205c..2c1d8887 100644 --- a/mythril/laser/ethereum/state/account.py +++ b/mythril/laser/ethereum/state/account.py @@ -79,8 +79,8 @@ class Storage: if ( self.address and self.address.value != 0 - and int(item.value) not in self.storage_keys_loaded and item.symbolic is False + and int(item.value) not in self.storage_keys_loaded and (self.dynld and self.dynld.storage_loading) ): try: