add semicolon to end of summary in access roles servicer certora

term-finance · Jun 26, 2024 · 47592d6 · 47592d6
1 parent 78040d3
commit 47592d6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;
     }