Merge pull request #434 from loselarry/main

morpho-org · Dec 26, 2024 · e46f6bd · e46f6bd
2 parents b884375 + 50474d2
commit e46f6bd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/certora/specs/Tokens.spec b/certora/specs/Tokens.spec
@@ -46,7 +46,7 @@ function summaryWithdraw(MetaMorphoHarness.MarketParams marketParams, uint256 as
 
     MetaMorphoHarness.Id id = Util.libId(marketParams);
 
-    // Safe require because it is verifed in MarketInteractions.
+    // Safe require because it is verified in MarketInteractions.
     require config_(id).enabled;
     requireInvariant enabledHasConsistentAsset(marketParams);