diff --git a/slither/slithir/operations/send.py b/slither/slithir/operations/send.py index 201de989a1..690459cf2d 100644 --- a/slither/slithir/operations/send.py +++ b/slither/slithir/operations/send.py @@ -17,6 +17,9 @@ def __init__(self, destination, value, result): self._call_value = value + def can_send_eth(self): + return True + @property def call_value(self): return self._call_value diff --git a/slither/slithir/operations/transfer.py b/slither/slithir/operations/transfer.py index b334d02ce0..b46d96b73d 100644 --- a/slither/slithir/operations/transfer.py +++ b/slither/slithir/operations/transfer.py @@ -11,6 +11,8 @@ def __init__(self, destination, value): self._call_value = value + def can_send_eth(self): + return True @property def call_value(self):