From 188a0c247c7af943cab03e1d920b713936bca5b5 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 6 Sep 2024 09:30:01 +0000
Subject: [PATCH] pyproject.toml: sync pyk version 7.1.133

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

diff --git a/poetry.lock b/poetry.lock
index a6454f7..c16e962 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -575,13 +575,13 @@ i18n = ["Babel (>=2.7)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.132"
+version = "7.1.133"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 files = [
-    {file = "kframework-7.1.132-py3-none-any.whl", hash = "sha256:ab18f9590aca280ca3a2055c6519c8a4b3fd6ede07fd31cea66157d3c7a7a5ff"},
-    {file = "kframework-7.1.132.tar.gz", hash = "sha256:67ca4e4937e82411d8f3d773b77844b568724995cc2cb65c39505f051321e979"},
+    {file = "kframework-7.1.133-py3-none-any.whl", hash = "sha256:ae950cd799d9f46fe258e317009fbb1960a79018163adf129942fa46c46d2cd4"},
+    {file = "kframework-7.1.133.tar.gz", hash = "sha256:de92a06d352bbf6e9a5245a3252bf1f2f879e275caa0ccf1000c8fc1bf407f82"},
 ]
 
 [package.dependencies]
@@ -1615,4 +1615,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "f334df48a5a3deadc8bc9d6bebf272077d0b7a17fc25c2f3a0d952d34758404b"
+content-hash = "a07f73fab472632d948cc119b9f7cde2caef4baed009abae50d6b3c58f03716b"
diff --git a/pyproject.toml b/pyproject.toml
index 5b68a90..57d681a 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.132"
+kframework = "7.1.133"
 pyyaml = "^6.0.1"
 types-pyyaml = "^6.0.12.20240311"
 filelock = "^3.14.0"