From 6bdc16f4f1c6ebef56b318589b6670f698f95511 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 21 Nov 2024 16:40:41 +0000
Subject: [PATCH] pyproject.toml: sync pyk version 7.1.174

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

diff --git a/poetry.lock b/poetry.lock
index 7c6a8cc..bb04914 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -610,13 +610,13 @@ i18n = ["Babel (>=2.7)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.173"
+version = "7.1.174"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 files = [
-    {file = "kframework-7.1.173-py3-none-any.whl", hash = "sha256:944de418f51a19214b113a0ca570b7fc0051be86cc782d5b1f5f48e3dcc4ddd2"},
-    {file = "kframework-7.1.173.tar.gz", hash = "sha256:5d5a53403de5202c9f793ab9aaab1080506b9470b321b1d7d07e719280180b5f"},
+    {file = "kframework-7.1.174-py3-none-any.whl", hash = "sha256:e30d8e5838d545a7aae5597ebcc3bea8b560cdcf7be582437f511ff3dd0d3292"},
+    {file = "kframework-7.1.174.tar.gz", hash = "sha256:067584387aab5b8b78893c1dd024e740d2c1c5642bfef3615d3200c6b4ff3e7f"},
 ]
 
 [package.dependencies]
@@ -1652,4 +1652,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "3283e78927f549f78bc681444c77d96e021caf17931e104f678976706bb0fa6b"
+content-hash = "2bd37c80b3469aad09cc3b70d2dca9dfc69875a26d73882e2c34d06bb0fd492f"
diff --git a/pyproject.toml b/pyproject.toml
index 1c0b26b..4ec0954 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -18,7 +18,7 @@ riscv-semantics = "kriscv.kdist.plugin"
 
 [tool.poetry.dependencies]
 python = "^3.10"
-kframework = "7.1.173"
+kframework = "7.1.174"
 pyyaml = "^6.0.1"
 types-pyyaml = "^6.0.12.20240311"
 filelock = "^3.14.0"