From c38a3c01eec6341054e1b5c95df4b2bceb4c73b6 Mon Sep 17 00:00:00 2001
From: Jochen Hoenicke <hoenicke@gmail.com>
Date: Tue, 15 Aug 2023 11:04:26 +0200
Subject: [PATCH] Update comment referencing new file

---
 certora/specs/BlueRatioMath.spec | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/certora/specs/BlueRatioMath.spec b/certora/specs/BlueRatioMath.spec
index a7a4bf683..ea5a48cb1 100644
--- 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;