From 99f17543ae19e84632032050cb7b386f0c55542c Mon Sep 17 00:00:00 2001
From: dxo <hi@d-xo.org>
Date: Tue, 29 Aug 2023 13:00:22 +0200
Subject: [PATCH] fix ci

---
 test/contracts/pass/cheatCodes.sol | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/contracts/pass/cheatCodes.sol b/test/contracts/pass/cheatCodes.sol
index 88ab8c89a..e4b8e49e3 100644
--- a/test/contracts/pass/cheatCodes.sol
+++ b/test/contracts/pass/cheatCodes.sol
@@ -128,7 +128,7 @@ contract CheatCodes is DSTest {
     }
 
     // this is not supported yet due to restrictions around symbolic address aliasing...
-    function prove_deal_unknown_address(address e, uint val) public {
+    function proveFail_deal_unknown_address(address e, uint val) public {
         hevm.deal(e, val);
         assert(e.balance == val);
     }