Merge branch 'master' into noah/proof-steps-2

runtimeverification · Apr 6, 2024 · 66a36c7 · 66a36c7
2 parents d369950 + b4075d3
commit 66a36c7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-6.3.74
+6.3.75
diff --git a/src/pyk/__init__.py b/src/pyk/__init__.py
@@ -6,4 +6,4 @@
     from typing import Final
 
 
-K_VERSION: Final = '6.3.74'
+K_VERSION: Final = '6.3.75'
Original file line number	Diff line number	Diff line change
Expand Up		@@ -6,4 +6,4 @@
		from typing import Final


		K_VERSION: Final = '6.3.74'
		K_VERSION: Final = '6.3.75'