From 42bf8c3c7458133b3e66cd190a40aef25b05ec49 Mon Sep 17 00:00:00 2001
From: ernestognw <ernestognw@gmail.com>
Date: Wed, 24 Apr 2024 10:35:02 -0600
Subject: [PATCH] Update AccessManaged spec

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

diff --git a/certora/specs/AccessManaged.spec b/certora/specs/AccessManaged.spec
index 2b232a4bfb..fdd57d0028 100644
--- a/certora/specs/AccessManaged.spec
+++ b/certora/specs/AccessManaged.spec
@@ -52,8 +52,9 @@ rule setAuthority(env e) {
     setAuthority@withrevert(e, newAuthority);
     bool success = !lastReverted;
 
-    assert (success && authority() == newAuthority) <=> (
+    assert success <=> (
         previousAuthority == e.msg.sender &&
         _hasCode(newAuthority)
     );
+    assert success => newAuthority == authority();
 }