From 47f5720ecab0bb4ef5dab1ea530bc2a380e91bbb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tam=C3=A1s=20T=C3=B3th?=
 <tothtamas28@users.noreply.github.com>
Date: Fri, 30 Jan 2026 10:32:47 +0000
Subject: [PATCH] Fix `lakefile.toml` template

---
 .../template/{{ cookiecutter.package_name }}/lakefile.toml      | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pyk/src/pyk/klean/template/{{ cookiecutter.package_name }}/lakefile.toml b/pyk/src/pyk/klean/template/{{ cookiecutter.package_name }}/lakefile.toml
index 115105e1cff..19e36e406c6 100644
--- a/pyk/src/pyk/klean/template/{{ cookiecutter.package_name }}/lakefile.toml	
+++ b/pyk/src/pyk/klean/template/{{ cookiecutter.package_name }}/lakefile.toml	
@@ -2,7 +2,7 @@ name = "{{ cookiecutter.package_name }}"
 version = "0.1.0"
 defaultTargets = ["{{ cookiecutter.library_name }}"]
 weakLeanArgs = [
-    "-D maxHeartbeats=10000000"
+    "-D", "maxHeartbeats=10000000",
 ]
 
 [[lean_lib]]