From 851e17cff39e827cd9d9649e477178ccd3888a05 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 16 Jan 2025 20:43:31 +0000
Subject: [PATCH] kmir/{pyproject.toml,poetry.lock}: sync Poetry files

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

diff --git a/kmir/poetry.lock b/kmir/poetry.lock
index ad4c4c8db..6cf860cb1 100644
--- a/kmir/poetry.lock
+++ b/kmir/poetry.lock
@@ -446,14 +446,14 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve
 
 [[package]]
 name = "hypothesis"
-version = "6.123.17"
+version = "6.124.0"
 description = "A library for property-based testing"
 category = "main"
 optional = false
 python-versions = ">=3.9"
 files = [
-    {file = "hypothesis-6.123.17-py3-none-any.whl", hash = "sha256:5c949fb44935e32c61c64abfcc3975eec41f8205ade2223073ba074c1e078ead"},
-    {file = "hypothesis-6.123.17.tar.gz", hash = "sha256:5850893975b4f08e893ddc10f1d468bc7e011d59703f70fe06a10161e426e602"},
+    {file = "hypothesis-6.124.0-py3-none-any.whl", hash = "sha256:8d642bee278f933c2b3c41db69cbb001f89a7eed03c6a9cc37f6c59396b30815"},
+    {file = "hypothesis-6.124.0.tar.gz", hash = "sha256:397a740af269646d87915c59d4299f58ef68ba89c213653d899aa533df76a03a"},
 ]
 
 [package.dependencies]
@@ -531,14 +531,14 @@ colors = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.198"
+version = "7.1.199"
 description = ""
 category = "main"
 optional = false
 python-versions = "<4.0,>=3.10"
 files = [
-    {file = "kframework-7.1.198-py3-none-any.whl", hash = "sha256:1c5540f18f26b1d8072c7725fbaf95c2c84a4681b629b0ac8266fa1e3495a4de"},
-    {file = "kframework-7.1.198.tar.gz", hash = "sha256:7df9056aeb1f67bfe3d4d9631c4eeaa507adab3b733a845d0b7b04ae561b14a0"},
+    {file = "kframework-7.1.199-py3-none-any.whl", hash = "sha256:c8e64d3f2b13c9e9353eef8cc41c3945261e7d5398de2324ba2c95504ecbff55"},
+    {file = "kframework-7.1.199.tar.gz", hash = "sha256:d7ab05b154269bf3141a0d90dda7534668a1678721f945333e29a05c6679b1c6"},
 ]
 
 [package.dependencies]
@@ -1197,4 +1197,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "86623179ee3f7cae830cbcd42438a0a41de9874ef001ddb701ff519d2cc869ed"
+content-hash = "4a82bfa533149e58f0fb91fbdd5b348b0bdcda58bcea17600ff2018353ecb226"
diff --git a/kmir/pyproject.toml b/kmir/pyproject.toml
index f6bda416c..d65b4cd7c 100644
--- a/kmir/pyproject.toml
+++ b/kmir/pyproject.toml
@@ -23,7 +23,7 @@ pytest-kmir = "kmir.testing.fixtures"
 
 [tool.poetry.dependencies]
 python = "^3.10"
-kframework = "7.1.198"
+kframework = "7.1.199"
 
 [tool.poetry.group.dev.dependencies]
 autoflake = "*"