From 0bc1835e8533b2a42f9dcf28675783849cf0bb24 Mon Sep 17 00:00:00 2001
From: Adrian <hawkadrian10@gmail.com>
Date: Fri, 14 Nov 2025 06:22:49 +0100
Subject: [PATCH] Update AccessManager.spec

---
 fv/specs/AccessManager.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fv/specs/AccessManager.spec b/fv/specs/AccessManager.spec
index def7ced1d08..39f24765194 100644
--- a/fv/specs/AccessManager.spec
+++ b/fv/specs/AccessManager.spec
@@ -337,7 +337,7 @@ rule getAccessChangeCall(uint64 roleId, address account) {
     // arbitrary function call
     method f; calldataarg args; f(e, args);
 
-    // values before
+    // values after
     mathint getAccess1After = getAccess_since(e, roleId, account);
     mathint getAccess2After = getAccess_currentDelay(e, roleId, account);
     mathint getAccess3After = getAccess_pendingDelay(e, roleId, account);