Fix the argument for dynloader in fire_lasers

6 years ago · 2305f29af2
parent 042d5b0c88
commit 2305f29af2
1 changed files with 1 additions and 1 deletions
--- a/mythril/mythril.py
+++ b/mythril/mythril.py
@ -339,7 +339,7 @@ class Mythril(object):
            if self.eth is None:
                self.set_api_rpc_infura()
            sym = SymExecWrapper(contract, address,
-                                 dynloader=DynLoader(self.eth) if not self.dynld else None,
+                                 dynloader=DynLoader(self.eth) if not self.dynld else self.dynld,
                                 max_depth=max_depth)

            issues = fire_lasers(sym, modules)