From 2e5be6a11ebb8126bce3a89505b3ce576fcb7dea Mon Sep 17 00:00:00 2001
From: Ricardo Guilherme Schmidt <3esmit@gmail.com>
Date: Mon, 13 Jan 2025 12:44:08 -0300
Subject: [PATCH] chore(spec): Fix type

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

diff --git a/certora/specs/EmergencyMode.spec b/certora/specs/EmergencyMode.spec
index 7827806..13808ef 100644
--- a/certora/specs/EmergencyMode.spec
+++ b/certora/specs/EmergencyMode.spec
@@ -10,7 +10,7 @@ definition isViewFunction(method f) returns bool = (
   f.selector == sig:streamer.STAKING_TOKEN().selector ||
   f.selector == sig:streamer.SCALE_FACTOR().selector ||
   f.selector == sig:streamer.MP_APY().selector ||
-  f.selector == sig:streamer.MP_APY_ABSOLUTE().selector ||
+  f.selector == sig:streamer.MP_MPY_ABSOLUTE().selector ||
   f.selector == sig:streamer.ACCRUE_RATE().selector ||
   f.selector == sig:streamer.MIN_BALANCE().selector ||
   f.selector == sig:streamer.MAX_BALANCE().selector ||