From 6e482986251d4953f1ccd42cb9ad22396c55bc93 Mon Sep 17 00:00:00 2001
From: David Thrane Christiansen <david@davidchristiansen.dk>
Date: Thu, 20 Jun 2024 06:30:14 +0200
Subject: [PATCH] chore: precompile modules

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