Skip to content

Commit

Permalink
fix: timelock type
Browse files Browse the repository at this point in the history
  • Loading branch information
QGarchery committed Mar 20, 2024
1 parent 3afeb6c commit a11f53c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion certora/specs/Timelock.spec
Original file line number Diff line number Diff line change
Expand Up @@ -126,7 +126,7 @@ rule timelockDecreaseTime(env e, method f, calldataarg args) {
require isTimelockInRange();

uint256 nextTime = nextTimelockDecreaseTime(ec);
uint184 prevTimelock = timelock();
uint256 prevTimelock = timelock();

// Sane assumption on the current time, as any following transaction should happen after it.
require e.block.timestamp >= ec.block.timestamp;
Expand Down

0 comments on commit a11f53c

Please sign in to comment.