From 81cd62a7c9346bfb948d4e6ce8972b2a7c87f107 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 20 Jan 2025 13:46:16 +0000
Subject: [PATCH] Sync Poetry files: kframework 7.1.203

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

diff --git a/poetry.lock b/poetry.lock
index 59c6692..2f29cc4 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -527,14 +527,14 @@ colors = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.202"
+version = "7.1.203"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 groups = ["main"]
 files = [
-    {file = "kframework-7.1.202-py3-none-any.whl", hash = "sha256:1b682f985c78b4ac1b5a04da650c0b71a46bc46d08a42f49866536d23b72b568"},
-    {file = "kframework-7.1.202.tar.gz", hash = "sha256:4612fb861ae522a6c5c5a85162548af4e9df10c00101419834173f4d4666a352"},
+    {file = "kframework-7.1.203-py3-none-any.whl", hash = "sha256:a77708ee242d7924965184c35b1ecb4e7151f99238f5d73cf6f65b75f3cd5d7c"},
+    {file = "kframework-7.1.203.tar.gz", hash = "sha256:e567eb936898acd0ac61a1a1d599925ebe0ee2fdb2832c4f04dac25aefdae7f1"},
 ]
 
 [package.dependencies]
@@ -1195,4 +1195,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.1"
 python-versions = "^3.10"
-content-hash = "caa74479193cd34eef09ed8cb99563ba9fe0385883832cf378b8af93c4af28e8"
+content-hash = "04788cbb5bc996798466311f50e6bcc96dbc58787c93b4856251fb03cfc0f563"
diff --git a/pyproject.toml b/pyproject.toml
index 5b91b71..0f858f2 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -18,7 +18,7 @@ imp-semantics = "kimp.kdist.plugin"
 
 [tool.poetry.dependencies]
 python = "^3.10"
-kframework = "7.1.202"
+kframework = "7.1.203"
 
 [tool.poetry.group.dev.dependencies]
 autoflake = "*"