chore(spec): Fix type

vacp2p · Jan 13, 2025 · 2e5be6a · 2e5be6a
1 parent a031b71
commit 2e5be6a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 ||