From abefb3b7ad1df8d8ae8c7ba5e63af75c37aa8a77 Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Fri, 17 Nov 2023 07:48:48 -0700
Subject: [PATCH] Update dependency: deps/pyk_release (#530)

* deps/pyk_release: Set Version v0.1.503

* pykwasm/: sync poetry files v0.1.503

* deps/pyk_release: Set Version v0.1.505

* pykwasm/: sync poetry files v0.1.505

---------

Co-authored-by: devops <devops@runtimeverification.com>
---
 deps/pyk_release       | 2 +-
 pykwasm/poetry.lock    | 8 ++++----
 pykwasm/pyproject.toml | 2 +-
 3 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/deps/pyk_release b/deps/pyk_release
index c9745f176..d9591f47d 100644
--- a/deps/pyk_release
+++ b/deps/pyk_release
@@ -1 +1 @@
-v0.1.502
+v0.1.505
diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock
index 67be5ee04..e7fd9be8f 100644
--- a/pykwasm/poetry.lock
+++ b/pykwasm/poetry.lock
@@ -895,7 +895,7 @@ plugins = ["importlib-metadata"]
 
 [[package]]
 name = "pyk"
-version = "0.1.502"
+version = "0.1.505"
 description = ""
 category = "main"
 optional = false
@@ -916,8 +916,8 @@ tomli = "^2.0.1"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/pyk.git"
-reference = "v0.1.502"
-resolved_reference = "75e6ae77ef663048e312b6e0124be1c1ad39ee09"
+reference = "v0.1.505"
+resolved_reference = "714e709aaae4fb4417f9f8266b4ed09edeb561ca"
 
 [[package]]
 name = "pyperclip"
@@ -1145,4 +1145,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "9480f7060e6cc61e577955f485185f5dce95a233d45a04c95e97291046913cc7"
+content-hash = "dc6805f50a16a6151dcb59b004621629289c369a68cf41d3bd2a3cc6ceb92395"
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
index 99789e509..79bdc0b81 100644
--- a/pykwasm/pyproject.toml
+++ b/pykwasm/pyproject.toml
@@ -14,7 +14,7 @@ authors = [
 python = "^3.10"
 cytoolz = "^0.12.1"
 numpy = "^1.24.2"
-pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.502" }
+pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.505" }
 py-wasm = {url = "https://github.com/runtimeverification/py-wasm/archive/refs/tags/0.1.1.tar.gz"}
 
 [tool.poetry.group.dev.dependencies]