refactor: naming timestamp hook

morpho-org · Apr 2, 2024 · d43b547 · d43b547
1 parent 6a59f0e
commit d43b547
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/certora/specs/Timelock.spec b/certora/specs/Timelock.spec
@@ -15,12 +15,12 @@ function summarySupplyshares(MetaMorphoHarness.Id id, address user) returns uint
 
 persistent ghost uint256 lastTimestamp;
 
-hook TIMESTAMP uint v {
+hook TIMESTAMP uint newTimestamp {
     // Safe require because timestamps are guaranteed to be increasing.
-    require v >= lastTimestamp;
+    require newTimestamp >= lastTimestamp;
     // Safe require as it corresponds to some time very far into the future.
-    require v < 2^63;
-    lastTimestamp = v;
+    require newTimestamp < 2^63;
+    lastTimestamp = newTimestamp;
 }
 
 // Show that nextGuardianUpdateTime does not revert.