try with standard server instead

logos-co · Oct 8, 2024 · 31488ce · 31488ce
1 parent c02a98a
commit 31488ce
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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"
 }