From d70b47c9af3cd9d4aa0ef06f2ab5c2901388d13d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20B=C3=B6ving?= <hargonix@gmail.com>
Date: Sat, 18 Nov 2023 23:43:02 +0100
Subject: [PATCH] fix: try to increase heartbeat limit further

---
 DocGen4/Process/Analyze.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/DocGen4/Process/Analyze.lean b/DocGen4/Process/Analyze.lean
index f3f1910..932a34f 100644
--- a/DocGen4/Process/Analyze.lean
+++ b/DocGen4/Process/Analyze.lean
@@ -123,7 +123,7 @@ def process (task : AnalyzeTask) : MetaM (AnalyzerResult × Hierarchy) := do
 
     try
       let config := {
-        maxHeartbeats := 5000000,
+        maxHeartbeats := 50000000,
         options := ← getOptions,
         fileName := ← getFileName,
         fileMap := ← getFileMap