From 5524bdeb8223a86ec91c533cd3a987a00ceaf954 Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Thu, 2 Nov 2023 06:32:57 -0600
Subject: [PATCH] Update dependency: deps/pyk_release (#520)

* deps/pyk_release: Set Version v0.1.488

* pykwasm/: sync poetry files v0.1.488

* deps/pyk_release: Set Version v0.1.489

* pykwasm/: sync poetry files v0.1.489

---------

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 b443f49ec..c50084f45 100644
--- a/deps/pyk_release
+++ b/deps/pyk_release
@@ -1 +1 @@
-v0.1.487
+v0.1.489
diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock
index 54067188e..db0f73808 100644
--- a/pykwasm/poetry.lock
+++ b/pykwasm/poetry.lock
@@ -882,7 +882,7 @@ plugins = ["importlib-metadata"]
 
 [[package]]
 name = "pyk"
-version = "0.1.487"
+version = "0.1.489"
 description = ""
 category = "main"
 optional = false
@@ -903,8 +903,8 @@ tomli = "^2.0.1"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/pyk.git"
-reference = "v0.1.487"
-resolved_reference = "cedcc9da8cee9e5244ad03a0610ff6c307be304f"
+reference = "v0.1.489"
+resolved_reference = "f7283bae60c9ec5303794e0918965ab1b38695ff"
 
 [[package]]
 name = "pyperclip"
@@ -1132,4 +1132,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "256825035941c2f0ca64d314b942dde3eeeaf81b873f30c8d66d41a1c5dd4268"
+content-hash = "ed52c949c9890b9d42b58459384c4cccacfc7c536046fcb51fc85272e072b386"
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
index d2b2128bf..faba09581 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.487" }
+pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.489" }
 py-wasm = {url = "https://github.com/runtimeverification/py-wasm/archive/refs/tags/0.1.0-alpha.0.tar.gz"}
 
 [tool.poetry.group.dev.dependencies]