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: