chore: precompile modules

To speed up highlighting in Verso
leanprover · Jun 20, 2024 · 6e48298 · 6e48298
1 parent fccc969
commit 6e48298
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lakefile.lean b/lakefile.lean
@@ -2,6 +2,7 @@ import Lake
 open Lake DSL
 
 package «subverso» where
+  precompileModules := true
   -- add package configuration options here
 
 lean_lib SubVersoCompat where