diff --git a/certora/confs/MerkleTrees.conf b/certora/confs/MerkleTrees.conf
index fcb22ad..f583826 100644
--- a/certora/confs/MerkleTrees.conf
+++ b/certora/confs/MerkleTrees.conf
@@ -2,10 +2,9 @@
     "files": [
         "certora/helpers/MerkleTrees.sol"
     ],
-    "solc": "solc8.19",
     "verify": "MerkleTrees:certora/specs/MerkleTrees.spec",
-    "loop_iter": "2",
     "optimistic_loop": true,
+    "loop_iter": "2",
     "rule_sanity": "basic",
     "server": "production",
     "msg": "Merkle Trees",