From c60fa1a7b06042bda9e189765fc8f55d2ed59546 Mon Sep 17 00:00:00 2001
From: Julian R <56316686+julianmrodri@users.noreply.github.com>
Date: Thu, 7 Oct 2021 10:40:31 -0300
Subject: [PATCH] fix example in readme

---
 src/dapp/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/dapp/README.md b/src/dapp/README.md
index d1aaac860..04ad63d3f 100644
--- a/src/dapp/README.md
+++ b/src/dapp/README.md
@@ -176,7 +176,7 @@ We can symbolically explore all possibilities to find the one that lets us withd
 
 ```solidity
 function proveFail_withdraw(uint guess) public {
-    address(dapptutorial).transfer(1 ether);
+    payable(address(dapptutorial)).transfer(1 ether);
     uint preBalance = address(this).balance;
     dapptutorial.withdraw(guess);
     uint postBalance = address(this).balance;