From e2ed64c97bf8d42b89f860b95e5842d041b8a99e Mon Sep 17 00:00:00 2001
From: Josselin <josselin@trailofbits.com>
Date: Fri, 16 Aug 2019 19:50:09 +0200
Subject: [PATCH] Fix reentrancy detector

---
 slither/slithir/operations/send.py     | 3 +++
 slither/slithir/operations/transfer.py | 2 ++
 2 files changed, 5 insertions(+)

diff --git a/slither/slithir/operations/send.py b/slither/slithir/operations/send.py
index 201de989a..690459cf2 100644
--- a/slither/slithir/operations/send.py
+++ b/slither/slithir/operations/send.py
@@ -17,6 +17,9 @@ class Send(Call, OperationWithLValue):
 
         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 b334d02ce..b46d96b73 100644
--- a/slither/slithir/operations/transfer.py
+++ b/slither/slithir/operations/transfer.py
@@ -11,6 +11,8 @@ class Transfer(Call):
 
         self._call_value = value
 
+    def can_send_eth(self):
+        return True
 
     @property
     def call_value(self):