Update comment referencing new file

morpho-org · Aug 15, 2023 · c38a3c0 · c38a3c0
1 parent 1a81dfd
commit c38a3c0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/certora/specs/BlueRatioMath.spec b/certora/specs/BlueRatioMath.spec
@@ -18,7 +18,7 @@ invariant feeInRange(MorphoHarness.Id id)
     to_mathint(fee(id)) <= MAX_FEE();
 
 /* This is a simple overapproximative summary, stating that it rounds in the right direction.
- * The summary is checked by the specification in Blue.spec.
+ * The summary is checked by the specification in BlueRatioMathSummary.spec.
  */
 function summaryMulDivUp(uint256 x, uint256 y, uint256 d) returns uint256 {
     uint256 result;
@@ -27,7 +27,7 @@ function summaryMulDivUp(uint256 x, uint256 y, uint256 d) returns uint256 {
 }
 
 /* This is a simple overapproximative summary, stating that it rounds in the right direction.
- * The summary is checked by the specification in Blue.spec.
+ * The summary is checked by the specification in BlueRatioMathSummary.spec.
  */
 function summaryMulDivDown(uint256 x, uint256 y, uint256 d) returns uint256 {
     uint256 result;