Merge branch 'develop' into _update-deps/runtimeverification/haskell-backend

tothtamas28 · web-flow · commit 27a3633b8598 · 2026-01-30T15:13:02.000+01:00
diff --git 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]]

Original file line number	Diff line number	Diff line change
`@@ -2,7 +2,7 @@ name = "{{ cookiecutter.package_name }}"`
`2`	`2`	`version = "0.1.0"`
`3`	`3`	`defaultTargets = ["{{ cookiecutter.library_name }}"]`
`4`	`4`	`weakLeanArgs = [`
`5`		`- "-D maxHeartbeats=10000000"`
	`5`	`+ "-D", "maxHeartbeats=10000000",`
`6`	`6`	`]`
`7`	`7`
`8`	`8`	`[[lean_lib]]`