diff --git a/lakefile.toml b/lakefile.toml
index 0b54555..696b2af 100644
--- a/lakefile.toml
+++ b/lakefile.toml
@@ -9,7 +9,7 @@ rev = "main"
 
 [[lean_lib]]
 name = "Loom"
-moreLeanArgs = ["-Dwarn.sorry=false", "--tstack=100000000"]
+moreLeanArgs = ["-Dwarn.sorry=false", "-j1"]
 precompileModules = true
 
 [[lean_exe]]