From beabf78a36510cd3b1732aae3e1d0f9a7fe4b8ed Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 4 Dec 2024 15:00:16 +0000
Subject: [PATCH] pyproject.toml: sync pyk version 7.1.183

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

diff --git a/poetry.lock b/poetry.lock
index 237e4e6..5664d36 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -610,13 +610,13 @@ i18n = ["Babel (>=2.7)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.182"
+version = "7.1.183"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 files = [
-    {file = "kframework-7.1.182-py3-none-any.whl", hash = "sha256:7d3267fa7c5d3c6601eca9bd84bc9cf931251c69a3366b49626b94fd945ab7a8"},
-    {file = "kframework-7.1.182.tar.gz", hash = "sha256:d0c53f44496c4f48488c021b8d41dd2c6374cc0314c9084f48b1e5b768849d53"},
+    {file = "kframework-7.1.183-py3-none-any.whl", hash = "sha256:e0af5c7cba34916d1d25584ccc1e56152803e9af7b711a5dbeb3a52814887d0e"},
+    {file = "kframework-7.1.183.tar.gz", hash = "sha256:6da8c97478758e4e2f2f463b626eb63e1b5b54d230055fb272419373f1a141c8"},
 ]
 
 [package.dependencies]
@@ -1682,4 +1682,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "defda5a91fd11cc07004b10ccc436ba4dd57ab08653597ad4df3bad82826d4ac"
+content-hash = "e668e5044ffa9d175cc109d6db360705f4bc94ec58a75e0d42c0361485aa8518"
diff --git a/pyproject.toml b/pyproject.toml
index 368b6b1..dd20c81 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.182"
+kframework = "7.1.183"
 pyyaml = "^6.0.1"
 types-pyyaml = "^6.0.12.20240311"
 filelock = "^3.14.0"