From d555157e3ba15e3657bac1c265bd0b53eadcaf1e Mon Sep 17 00:00:00 2001
From: David Thrane Christiansen <david@lean-fro.org>
Date: Thu, 20 Jun 2024 06:36:36 +0200
Subject: [PATCH] chore: precompile modules (#33)

To speed up highlighting in Verso
---
 lakefile.lean | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lakefile.lean b/lakefile.lean
index 9bce0d3..ca15da3 100644
--- 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