From 6e15f7d95a857e0c1a58507b00f01e81bce69358 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 27 Nov 2024 18:22:02 +0000
Subject: [PATCH] krypto/: sync poetry files pyk version 7.1.178

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

diff --git a/krypto/poetry.lock b/krypto/poetry.lock
index ea38017c6..99cdc0ceb 100644
--- a/krypto/poetry.lock
+++ b/krypto/poetry.lock
@@ -507,13 +507,13 @@ colors = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.177"
+version = "7.1.178"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 files = [
-    {file = "kframework-7.1.177-py3-none-any.whl", hash = "sha256:df52d42faa48c37e5685fe78f43757222861024d5319ab989d1b54f0bc84a42f"},
-    {file = "kframework-7.1.177.tar.gz", hash = "sha256:35a9180a0a16332bf01ad52b9c7f576dfcc795a21e1cee856f1099492550694d"},
+    {file = "kframework-7.1.178-py3-none-any.whl", hash = "sha256:4dadc8a997d4c27fd9e16db831b61d5de11b7a3466b620430c4390a03b66d846"},
+    {file = "kframework-7.1.178.tar.gz", hash = "sha256:20f19e5ddc46e04144fc82aacc38935c0a97d97342bfa641def7594dc65dfd0a"},
 ]
 
 [package.dependencies]
@@ -1101,4 +1101,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "0a2c0d4953b86476ab49ed83fe0f2db29df8438bc24a8463cfd8ec381140c025"
+content-hash = "88a48fe6bcfd3b01e0caf7b4836e1fd46cf6f8c3a4299facb32efb3cf50837b3"
diff --git a/krypto/pyproject.toml b/krypto/pyproject.toml
index f52b36f4c..a73749ebc 100644
--- a/krypto/pyproject.toml
+++ b/krypto/pyproject.toml
@@ -29,7 +29,7 @@ pytest-cov = "*"
 pytest-mock = "*"
 pytest-xdist = "*"
 pyupgrade = "*"
-kframework = "7.1.177"
+kframework = "7.1.178"
 
 [tool.isort]
 profile = "black"