fix wrong math

Certora · Jun 26, 2023 · e8d31fa · e8d31fa
1 parent 4983bee
commit e8d31fa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/BaseAaveToken.sol b/src/BaseAaveToken.sol
@@ -126,7 +126,7 @@ abstract contract BaseAaveToken is Context, IERC20Metadata {
         _balances[from].balance = fromBalanceBefore - uint104(amount);
       }
 
-      _balances[to].balance += toBalanceBefore + uint104(amount);
+      _balances[to].balance = toBalanceBefore + uint104(amount);
 
       _afterTokenTransfer(from, to, fromBalanceBefore, toBalanceBefore, amount);
     }