Skip to content

Commit 527050f

Browse files
committed
fix: use MorphoInternalAccess for the type in liveness
1 parent 69d77d1 commit 527050f

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

certora/specs/Liveness.spec

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -201,7 +201,7 @@ rule withdrawCollateralChangesTokensAndBalance(env e, MorphoInternalAccess.Marke
201201
}
202202

203203
// Check that setAuthorizationWithSig reverts when its inputs are not validated.
204-
rule setAuthorizationWithSigChangesNonceAndAuthorizes(env e, MorphoHarness.Authorization authorization, MorphoHarness.Signature signature) {
204+
rule setAuthorizationWithSigChangesNonceAndAuthorizes(env e, MorphoInternalAccess.Authorization authorization, MorphoInternalAccess.Signature signature) {
205205
uint256 nonceBefore = nonce(authorization.authorizer);
206206

207207
setAuthorizationWithSig(e, authorization, signature);

0 commit comments

Comments
 (0)