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