Merge 0130e9a into 7ee5e70

runtimeverification · Apr 5, 2024 · eb2ee5a · eb2ee5a
2 parents 7ee5e70 + 0130e9a
commit eb2ee5a
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'