From b46b1037714e1e4e87de1d43292ab4ccc199c73d Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 24 May 2024 09:13:25 +0000
Subject: [PATCH] pyproject.toml: sync pyk version 7.0.90

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

diff --git a/poetry.lock b/poetry.lock
index e65f1491..bcc4a4dd 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -707,7 +707,7 @@ windows-terminal = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "pyk"
-version = "7.0.89"
+version = "7.0.90"
 description = ""
 optional = false
 python-versions = "^3.10"
@@ -728,8 +728,8 @@ xdg-base-dirs = "^6.0.1"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/k.git"
-reference = "v7.0.89"
-resolved_reference = "c9868b85db7f0514c952d7c5f3889e7d1d8a54b5"
+reference = "v7.0.90"
+resolved_reference = "ff056270cc62c50284c1865f5744b499f8d9a36b"
 subdirectory = "pyk"
 
 [[package]]
@@ -921,13 +921,13 @@ files = [
 
 [[package]]
 name = "typing-extensions"
-version = "4.11.0"
+version = "4.12.0"
 description = "Backported and Experimental Type Hints for Python 3.8+"
 optional = false
 python-versions = ">=3.8"
 files = [
-    {file = "typing_extensions-4.11.0-py3-none-any.whl", hash = "sha256:c1f94d72897edaf4ce775bb7558d5b79d8126906a14ea5ed1635921406c0387a"},
-    {file = "typing_extensions-4.11.0.tar.gz", hash = "sha256:83f085bd5ca59c80295fc2a82ab5dac679cbe02b9f33f7d83af68e241bea51b0"},
+    {file = "typing_extensions-4.12.0-py3-none-any.whl", hash = "sha256:b349c66bea9016ac22978d800cfff206d5f9816951f12a7d0ec5578b0a819594"},
+    {file = "typing_extensions-4.12.0.tar.gz", hash = "sha256:8cbcdc8606ebcb0d95453ad7dc5065e6237b6aa230a31e81d0f440c30fed5fd8"},
 ]
 
 [[package]]
@@ -984,4 +984,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "jaraco.test", "more
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "64e28e4f2dc8e8dbcd7f632edadee1f3eec8cbd915470d8f735add168362eb94"
+content-hash = "397bf64e45f6dd853274f56aae2051af4b8afc0310513e1fdf52af88c9883bbe"
diff --git a/pyproject.toml b/pyproject.toml
index 0b656b2c..5321043c 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -15,7 +15,7 @@ riscv-semantics = "kriscv.kdist.plugin"
 
 [tool.poetry.dependencies]
 python = "^3.10"
-pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.89", subdirectory = "pyk" }
+pyk = { git = "https://github.com/runtimeverification/k.git", tag = "v7.0.90", subdirectory = "pyk" }
 
 [tool.poetry.group.dev.dependencies]
 autoflake = "*"