From 5df7c54e25f7e7d610aef3ea6ed1b04de2142826 Mon Sep 17 00:00:00 2001 From: Andrew Zhou Date: Wed, 26 Jun 2024 00:37:04 -0700 Subject: [PATCH] trying to get linking to work --- certora/specs/termRepoServicer/collapses.spec | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/certora/specs/termRepoServicer/collapses.spec b/certora/specs/termRepoServicer/collapses.spec index 9b8aa71..ffee095 100644 --- 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 returns(bool) => DISPATCHER(true); }