remove specialist role from servicer specs certora

term-finance · Jun 21, 2024 · cd55e0f · cd55e0f
1 parent 793cd2b
commit cd55e0f
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/certora/specs/termRepoServicer/accessRoles.spec b/certora/specs/termRepoServicer/accessRoles.spec
@@ -68,7 +68,6 @@ rule onlyRoleCanCallStorage(method f, calldataarg args, env e) filtered {
         || hasRole(AUCTIONEER(),e.msg.sender)
         || hasRole(COLLATERAL_MANAGER(),e.msg.sender)
         || hasRole(DEVOPS_ROLE(),e.msg.sender)
-        || hasRole(SPECIALIST_ROLE(),e.msg.sender)
         || hasRole(ROLLOVER_MANAGER(),e.msg.sender)
         || hasRole(ROLLOVER_TARGET_AUCTIONEER_ROLE(),e.msg.sender)
         || hasRole(INITIALIZER_ROLE(),e.msg.sender)