From 03b6ec5639f1154e02fc1dd50fc3a15e667dcd69 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 7 Jan 2025 15:33:16 +0000
Subject: [PATCH] pykwasm/: sync poetry files 7.1.195

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

diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock
index e2f16c634..d52bb0673 100644
--- a/pykwasm/poetry.lock
+++ b/pykwasm/poetry.lock
@@ -654,14 +654,14 @@ colors = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.194"
+version = "7.1.195"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 groups = ["main"]
 files = [
-    {file = "kframework-7.1.194-py3-none-any.whl", hash = "sha256:973427d2105433327b4463a6b54f45358143f32d77808b12dbdd8a671d08ff1f"},
-    {file = "kframework-7.1.194.tar.gz", hash = "sha256:60d876d60aade7ff59121b1ff131db8bebd99b13ff72f2dcecc396c3b4103625"},
+    {file = "kframework-7.1.195-py3-none-any.whl", hash = "sha256:6016ed4f1c6209f612c525079a03bf9faa539374837d462cc106b2090397c5a3"},
+    {file = "kframework-7.1.195.tar.gz", hash = "sha256:e72334a338ca692ed696604d0ee82a92268eb97f1ad013d914ae4a8a7ea72366"},
 ]
 
 [package.dependencies]
@@ -1408,4 +1408,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.1"
 python-versions = "^3.10"
-content-hash = "7a113fa6368fec8b652ea77130534a4d16a1ae417f5115ee7fc87ac1752ef345"
+content-hash = "d9ec9c491d35f8c11df1154c10dcba1fcc7a6a11ed7aea423b3725f302f8e959"
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
index d657db67b..2453e407d 100644
--- a/pykwasm/pyproject.toml
+++ b/pykwasm/pyproject.toml
@@ -23,7 +23,7 @@ wasm-semantics = "pykwasm.kdist.plugin"
 python = "^3.10"
 cytoolz = "^0.12.1"
 numpy = "^1.24.2"
-kframework = "7.1.194"
+kframework = "7.1.195"
 py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" }
 
 [tool.poetry.group.dev.dependencies]