Fix type hint for LaserEVM.accounts

6 years ago · 856147c5b1
parent 50fbf29c90
commit 856147c5b1
1 changed files with 1 additions and 1 deletions
--- a/mythril/laser/ethereum/svm.py
+++ b/mythril/laser/ethereum/svm.py
@ -77,7 +77,7 @@ class LaserEVM:
        )

    @property
-    def accounts(self) -> List[Account]:
+    def accounts(self) -> Dict[str, Account]:
        return self.world_state.accounts

    def sym_exec(