From fa264cb8c9aa2b0c4f20d1fd4019612f888c778d Mon Sep 17 00:00:00 2001
From: Giuseppe <8973725+Eagle941@users.noreply.github.com>
Date: Tue, 12 Sep 2023 18:28:02 +0100
Subject: [PATCH] Added heartbeat options

---
 extractor/lean_export.go | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extractor/lean_export.go b/extractor/lean_export.go
index 563d4d1..329b74f 100644
--- a/extractor/lean_export.go
+++ b/extractor/lean_export.go
@@ -29,7 +29,7 @@ import ProvenZk.Ext.Vector
 namespace %s
 
 set_option maxRecDepth 1200
-set_option maxHeartbeats 2000000
+set_option maxHeartbeats 20000000
 
 def Order : ℕ := 0x%s
 variable [Fact (Nat.Prime Order)]