chore: precompile modules (#33)

To speed up highlighting in Verso
leanprover · Jun 20, 2024 · d555157 · d555157
1 parent fccc969
commit d555157
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