Enable precompilation

leanprover-community · Nov 14, 2024 · eb3e83c · eb3e83c
1 parent 35eeaec
commit eb3e83c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lakefile.toml b/lakefile.toml
@@ -1,7 +1,7 @@
 name = "aesop"
 defaultTargets = ["Aesop"]
 testDriver = "AesopTest"
-precompileModules = false # We would like to turn this on, but it breaks the Mathlib cache.
+precompileModules = true # We would like to turn this on, but it breaks the Mathlib cache.
 
 [[require]]
 name = "batteries"