diff --git a/third_party/move/move-compiler-v2/src/experiments.rs b/third_party/move/move-compiler-v2/src/experiments.rs
index ba88e2ee2122e..16e4e371a60e6 100644
--- a/third_party/move/move-compiler-v2/src/experiments.rs
+++ b/third_party/move/move-compiler-v2/src/experiments.rs
@@ -104,7 +104,7 @@ pub static EXPERIMENTS: Lazy<BTreeMap<String, Experiment>> = Lazy::new(|| {
         Experiment {
             name: Experiment::SPEC_CHECK.to_string(),
             description: "Turns on or off specification checks".to_string(),
-            default: Inherited(Experiment::CHECKS.to_string()),
+            default: Given(false),
         },
         Experiment {
             name: Experiment::SPEC_REWRITE.to_string(),