fix conflict

Certora · May 28, 2024 · 25e8b7d · 25e8b7d
2 parents 8250553 + 463c9be
commit 25e8b7d
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/certora/specs/ccip.spec b/certora/specs/ccip.spec
@@ -54,7 +54,6 @@ rule withdrawLiquidity_correctness(env e) {
   withdrawLiquidity(e, amount);
   uint256 bal_after = erc20.balanceOf(e, currentContract);
 
-  //  assert e.msg.sender == getRebalancer();
   assert (to_mathint(bal_after) == bal_before - amount);
 }
 
@@ -73,7 +72,6 @@ rule provideLiquidity_correctness(env e) {
   provideLiquidity(e, amount);
   uint256 bal_after = erc20.balanceOf(e, currentContract);
 
-  //  assert e.msg.sender == getRebalancer();
   assert (to_mathint(bal_after) == bal_before + amount);
 }