From 9face30b632b4a6c234499928ed2dc9769b5cda4 Mon Sep 17 00:00:00 2001
From: r4bbit <445106+0x-r4bbit@users.noreply.github.com>
Date: Tue, 8 Oct 2024 14:05:46 +0200
Subject: [PATCH] try with standard server instead

---
 certora/confs/MaxMPRule.conf | 1 -
 1 file changed, 1 deletion(-)

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"
 }