From 9b960a298501b786b5fb4903d960d847274dcae6 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Tue, 18 Jun 2019 17:45:42 +0200 Subject: [PATCH] Add missing line to fix recursive intializaton :) --- mythril/analysis/modules/delegatecall.py | 1 + 1 file changed, 1 insertion(+) diff --git a/mythril/analysis/modules/delegatecall.py b/mythril/analysis/modules/delegatecall.py index 8404b21a..52b656ee 100644 --- a/mythril/analysis/modules/delegatecall.py +++ b/mythril/analysis/modules/delegatecall.py @@ -32,6 +32,7 @@ class DelegateCallAnnotation(StateAnnotation): "retval_{}".format(call_state.get_current_instruction()["address"]), 256 ) + def _copy__(self): return DelegateCallAnnotation(self.call_state, copy(self.constraints)) def get_issue(self, global_state: GlobalState, transaction_sequence: Dict) -> Issue: