Skip to content

Commit

Permalink
fix ci
Browse files Browse the repository at this point in the history
  • Loading branch information
d-xo committed Aug 29, 2023
1 parent 57857d5 commit 99f1754
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion test/contracts/pass/cheatCodes.sol
Original file line number Diff line number Diff line change
Expand Up @@ -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);
}
Expand Down

0 comments on commit 99f1754

Please sign in to comment.