diff --git a/lakefile.toml b/lakefile.toml
index 630bacbe..e12448bc 100644
--- a/lakefile.toml
+++ b/lakefile.toml
@@ -2,7 +2,6 @@ name = "plausible"
 version = "0.1.0"
 defaultTargets = ["Plausible"]
 testRunner = "Test"
-leanOptions = { experimental.module = true }
 
 [[lean_lib]]
 name = "Test"