From 510283acab675d756e639f0dbf807c57437322bd Mon Sep 17 00:00:00 2001
From: Kim Morrison <kim@tqft.net>
Date: Tue, 16 Dec 2025 10:26:31 +1100
Subject: [PATCH] chore: remove unneeded experimental.module option

---
 lakefile.toml | 1 -
 1 file changed, 1 deletion(-)

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"