diff --git a/certora/confs/MaxMPRule.conf b/certora/confs/MaxMPRule.conf
index 22470c3..73399f0 100644
--- a/certora/confs/MaxMPRule.conf
+++ b/certora/confs/MaxMPRule.conf
@@ -26,7 +26,6 @@
 	],
   "rule_sanity": "none",
 	"smt_timeout": "7200",
-  "server": "staging",
 	"verify": "StakeManager:certora/specs/MaxMPRule.spec"
 }