diff --git a/certora/specs/termRepoServicer/minting.spec b/certora/specs/termRepoServicer/minting.spec
index 2d36553..b03b111 100644
--- a/certora/specs/termRepoServicer/minting.spec
+++ b/certora/specs/termRepoServicer/minting.spec
@@ -46,7 +46,7 @@ methods {
     function DummyERC20A.balanceOf(address) external returns(uint256) envfree;
     function DummyERC20A.totalSupply() external returns(uint256) envfree;
 
-    TermController.verifyMintExposureAccess(address) external returns (bool) envfree;
+    function TermController.verifyMintExposureAccess(address) external returns (bool) envfree;
 }