docs: small renaming consistency

morpho-org · Apr 25, 2024 · 7ce469f · 7ce469f
1 parent 4c202de
commit 7ce469f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/certora/specs/LibSummary.spec b/certora/specs/LibSummary.spec
@@ -27,6 +27,6 @@ rule checkSummaryId(MorphoHarness.MarketParams marketParams) {
 }
 
 rule checkSummaryMin(uint256 x, uint256 y) {
-    uint256 summaryMin = x < y ? x : y;
-    assert libMin(x, y) == summaryMin;
+    uint256 refMin = x < y ? x : y;
+    assert libMin(x, y) == refMin;
 }