From 31ded441d93a0e1b07d23120f62b516861ff2a40 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 27 Oct 2023 07:14:39 +0000
Subject: [PATCH] kmxwasm/{pyproject.toml,poetry.lock}: sync Poetry files

---
 kmxwasm/poetry.lock    | 14 +++++++-------
 kmxwasm/pyproject.toml |  2 +-
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/kmxwasm/poetry.lock b/kmxwasm/poetry.lock
index 221d2c36..62dd772a 100644
--- a/kmxwasm/poetry.lock
+++ b/kmxwasm/poetry.lock
@@ -678,7 +678,7 @@ plugins = ["importlib-metadata"]
 
 [[package]]
 name = "pyk"
-version = "0.1.479"
+version = "0.1.480"
 description = ""
 optional = false
 python-versions = "^3.10"
@@ -698,8 +698,8 @@ tomli = "^2.0.1"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/pyk.git"
-reference = "v0.1.479"
-resolved_reference = "41706ef5081585a4c71f7fccb4dea2d7a3796421"
+reference = "v0.1.480"
+resolved_reference = "5e03bf830edd53f75f2b5da78548e2f06bb44026"
 
 [[package]]
 name = "pyperclip"
@@ -724,13 +724,13 @@ files = [
 
 [[package]]
 name = "pytest"
-version = "7.4.2"
+version = "7.4.3"
 description = "pytest: simple powerful testing with Python"
 optional = false
 python-versions = ">=3.7"
 files = [
-    {file = "pytest-7.4.2-py3-none-any.whl", hash = "sha256:1d881c6124e08ff0a1bb75ba3ec0bfd8b5354a01c194ddd5a0a870a48d99b002"},
-    {file = "pytest-7.4.2.tar.gz", hash = "sha256:a766259cfab564a2ad52cb1aae1b881a75c3eb7e34ca3779697c23ed47c47069"},
+    {file = "pytest-7.4.3-py3-none-any.whl", hash = "sha256:0d009c083ea859a71b76adf7c1d502e4bc170b80a8ef002da5806527b9591fac"},
+    {file = "pytest-7.4.3.tar.gz", hash = "sha256:d989d136982de4e3b29dabcc838ad581c64e8ed52c11fbe86ddebd9da0818cd5"},
 ]
 
 [package.dependencies]
@@ -902,4 +902,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "7249392f3ee1a98ba22fae05bd4338f020f9aaa63a205f0f26f747c3fcb4b934"
+content-hash = "983055ad6115bb64cb5db4162bae6eb7fa860071c1a64968fc82391a9ada0c96"
diff --git a/kmxwasm/pyproject.toml b/kmxwasm/pyproject.toml
index b41195d3..883348f0 100644
--- a/kmxwasm/pyproject.toml
+++ b/kmxwasm/pyproject.toml
@@ -12,7 +12,7 @@ authors = [
 
 [tool.poetry.dependencies]
 python = "^3.10"
-pyk = { git = "https://github.com/runtimeverification/pyk.git", tag = "v0.1.479" }
+pyk = { git = "https://github.com/runtimeverification/pyk.git", tag = "v0.1.480" }
 # pyk = { path = "/mnt/data/runtime-verification/pyk", develop = true }
 
 [tool.poetry.group.dev.dependencies]