From 47592d693dfaaf7d8de5764f20f7b7c517aa56f1 Mon Sep 17 00:00:00 2001 From: Andrew Zhou Date: Tue, 25 Jun 2024 21:45:03 -0700 Subject: [PATCH] add semicolon to end of summary in access roles servicer certora --- certora/specs/termRepoServicer/accessRoles.spec | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/certora/specs/termRepoServicer/accessRoles.spec b/certora/specs/termRepoServicer/accessRoles.spec index ff8dc1c..506f5a7 100644 --- a/certora/specs/termRepoServicer/accessRoles.spec +++ b/certora/specs/termRepoServicer/accessRoles.spec @@ -15,7 +15,7 @@ methods { function ROLLOVER_MANAGER() external returns (bytes32) envfree; function ROLLOVER_TARGET_AUCTIONEER_ROLE() external returns (bytes32) envfree; - function TermController.verifyMintExposure(address) external returns(bool) => NONDET + function TermController.verifyMintExposure(address) external returns(bool) => NONDET; }