diff --git a/certora/confs/Marketplace.conf b/certora/confs/Marketplace.conf
index 63b580a..395ebae 100644
--- a/certora/confs/Marketplace.conf
+++ b/certora/confs/Marketplace.conf
@@ -19,5 +19,4 @@
     "loop_iter": "3",
     "optimistic_hashing": true,
     "hashing_length_bound": "512",
-    "solc": "solc8.28",
 }
diff --git a/certora/confs/Vault.conf b/certora/confs/Vault.conf
index 2c73a9a..5d69581 100644
--- a/certora/confs/Vault.conf
+++ b/certora/confs/Vault.conf
@@ -25,5 +25,4 @@
     // "optimistic_hashing": true,
     // "hashing_length_bound": "512",
     "build_cache": true,
-    "solc": "solc8.28",
 }