fix: try to increase heartbeat limit further

leanprover · Nov 18, 2023 · d70b47c · d70b47c
1 parent 8c9e5cf
commit d70b47c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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