From 781c3eae737fbdf641bb8114c0c4a22feb583b70 Mon Sep 17 00:00:00 2001
From: Ricardo Guilherme Schmidt <3esmit@gmail.com>
Date: Thu, 5 Dec 2024 14:59:41 -0300
Subject: [PATCH] fix(EmergencyMode.spec): add YEAR view function

---
 certora/specs/EmergencyMode.spec | 1 +
 1 file changed, 1 insertion(+)

diff --git a/certora/specs/EmergencyMode.spec b/certora/specs/EmergencyMode.spec
index db1ece5..a793366 100644
--- a/certora/specs/EmergencyMode.spec
+++ b/certora/specs/EmergencyMode.spec
@@ -6,6 +6,7 @@ methods {
 }
 
 definition isViewFunction(method f) returns bool = (
+  f.selector == sig:streamer.YEAR().selector ||
   f.selector == sig:streamer.STAKING_TOKEN().selector ||
   f.selector == sig:streamer.SCALE_FACTOR().selector ||
   f.selector == sig:streamer.MP_RATE_PER_YEAR().selector ||