minting changes certora spec

term-finance · Jun 25, 2024 · 00723b0 · 00723b0
1 parent 726543b
commit 00723b0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;
 }