From 856147c5b1b821db64ee6834e17309810318fd3f Mon Sep 17 00:00:00 2001 From: Dominik Muhs Date: Thu, 1 Nov 2018 18:03:33 +0100 Subject: [PATCH] Fix type hint for LaserEVM.accounts --- mythril/laser/ethereum/svm.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/laser/ethereum/svm.py b/mythril/laser/ethereum/svm.py index 22449025..ed167f22 100644 --- 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(