trying to get linking to work

term-finance · Jun 26, 2024 · 46741e8 · 46741e8
1 parent 5df7c54
commit 46741e8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
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 _.verifyMintExposureAccess(address) external returns(bool) => DISPATCHER(true);
+    function _.verifyMintExposureAccess(address) external => DISPATCHER(true);
     }
 
 

diff --git a/certora/specs/termRepoServicer/collapses.spec b/certora/specs/termRepoServicer/collapses.spec
@@ -48,7 +48,7 @@ methods {
     function DummyERC20A.decimals() external returns(uint256) envfree;
     function DummyERC20A.totalSupply() external returns(uint256) envfree;
 
-    function _.verifyMintExposureAccess(address) external returns(bool) => DISPATCHER(true);
+    function _.verifyMintExposureAccess(address) external => DISPATCHER(true);
 
 }