merge #81

leanprover-community · Oct 26, 2023 · ddff160 · ddff160
2 parents 2aa8e53 + acbff8d
commit ddff160
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Aesop/Search/Main.lean b/Aesop/Search/Main.lean
@@ -217,7 +217,7 @@ def handleFatalError (e : Exception) : SearchM Q α := do
 
 partial def searchLoop : SearchM Q (Array MVarId) :=
   withIncRecDepth do
-    checkMaxHeartbeats "aesop"
+    checkSystem "aesop"
     if let (some err) ← checkRootUnprovable then
       handleNonfatalError err
     else if ← finishIfProven then