Fixed applyHarness.patch

Certora · Mar 29, 2023 · 8f65945 · 8f65945
1 parent 5a82376
commit 8f65945
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/certora/applyHarness.patch b/certora/applyHarness.patch
@@ -14,7 +14,7 @@ diff -ruN src/AaveTokenV3.sol src/AaveTokenV3.sol
 @@ -237,7 +237,7 @@
        toUserState.balance = toBalanceBefore + uint104(amount);
        _balances[to] = toUserState;
- 
+
 -      if (toUserState.delegationState != DelegationState.NO_DELEGATION) {
 +      if (toUserState.delegationState != uint8(DelegationState.NO_DELEGATION)) {
          _governancePowerTransferByType(
@@ -53,14 +53,14 @@ diff -ruN src/BaseAaveToken.sol src/BaseAaveToken.sol
 --- src/BaseAaveToken.sol	2023-03-28 15:10:26
 +++ src/BaseAaveToken.sol	2023-03-28 15:10:24
 @@ -16,10 +16,10 @@
- 
+
    // reorder fields to make hooks syntax simpler
    struct DelegationAwareBalance {
--    DelegationState delegationState;
      uint104 balance;
      uint72 delegatedPropositionBalance;
      uint72 delegatedVotingBalance;
+-    DelegationState delegationState;
 +    uint8 delegationState; // refactored from enum
    }
- 
+
    mapping(address => DelegationAwareBalance) internal _balances;