chore(spec): Fix missing view function from spec

vacp2p · Jan 13, 2025 · eab545b · eab545b
1 parent 2e5be6a
commit eab545b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/certora/specs/EmergencyMode.spec b/certora/specs/EmergencyMode.spec
@@ -10,6 +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_MPY().selector ||
   f.selector == sig:streamer.MP_MPY_ABSOLUTE().selector ||
   f.selector == sig:streamer.ACCRUE_RATE().selector ||
   f.selector == sig:streamer.MIN_BALANCE().selector ||