From 52665fd9b3a7fe7b114f633657c53df97ee993dd Mon Sep 17 00:00:00 2001
From: ernestognw <ernestognw@gmail.com>
Date: Fri, 19 Apr 2024 11:34:12 -0600
Subject: [PATCH] Fix AccessManaged summarization

---
 certora/specs/AccessManaged.spec | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/certora/specs/AccessManaged.spec b/certora/specs/AccessManaged.spec
index adcb85936..7e4619d96 100644
--- a/certora/specs/AccessManaged.spec
+++ b/certora/specs/AccessManaged.spec
@@ -7,6 +7,9 @@ methods {
     function authority_canCall_immediate(address) external returns (bool);
     function authority_canCall_delay(address)     external returns (uint32);
     function authority_getSchedule(address)       external returns (uint48);
+
+    // Summaries
+    function _.setAuthority(address)               external => DISPATCHER(true);
 }
 
 invariant isConsumingScheduledOpClean()