Update invariant

SizeCredit · Jan 4, 2024 · c95fa5c · c95fa5c
1 parent c68bc3e
commit c95fa5c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/invariants/Properties.sol b/test/invariants/Properties.sol
@@ -59,7 +59,7 @@ abstract contract Properties is BeforeAfter, Asserts, PropertiesConstants {
         uint256[] memory folFaceValuesSum = new uint256[](activeLoans);
         for (uint256 loanId; loanId < activeLoans; loanId++) {
             Loan memory loan = size.getLoan(loanId);
-            uint256 folId = loanId == RESERVED_ID ? loanId : loan.folId;
+            uint256 folId = loanId == RESERVED_ID ? loan.folId : loanId;
             Loan memory fol = size.getLoan(folId);
 
             folCreditsSum[folId] += size.getCredit(loanId);