From 30e430d78f97447bb66e8dde170ee00cd2a351d3 Mon Sep 17 00:00:00 2001
From: Jan Tusil <jenda.tusil@gmail.com>
Date: Fri, 29 Sep 2023 19:00:47 +0200
Subject: [PATCH] back to older pyk

---
 flake.lock              |  8 ++++----
 flake.nix               |  2 +-
 kevm-pyk/poetry.lock    | 10 +++++-----
 kevm-pyk/pyproject.toml |  2 +-
 4 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/flake.lock b/flake.lock
index 2fdcb2d4a3..92726bfef0 100644
--- a/flake.lock
+++ b/flake.lock
@@ -1604,16 +1604,16 @@
         "poetry2nix": "poetry2nix"
       },
       "locked": {
-        "lastModified": 1695995016,
-        "narHash": "sha256-KJJ1h67WDea5v4wuhfeCnPdekHw1f4lkc7STiVsAv7E=",
+        "lastModified": 1695658775,
+        "narHash": "sha256-o3DRBtLwa7+mSU1FeGs2mDBelpQ4yuDx1AmMEWkSy6o=",
         "owner": "runtimeverification",
         "repo": "pyk",
-        "rev": "d7ef087d76f08c7f9305c4bf6aef01db7d77392e",
+        "rev": "ca97bb1caf81ddbb70c87d9aa7be1a4b5385fb2b",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.456",
+        "ref": "v0.1.448",
         "repo": "pyk",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 5796cbc593..926d6eafb6 100644
--- a/flake.nix
+++ b/flake.nix
@@ -17,7 +17,7 @@
     ethereum-legacytests.url = "github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7";
     ethereum-legacytests.flake = false;
     haskell-backend.follows = "k-framework/haskell-backend";
-    pyk.url = "github:runtimeverification/pyk/v0.1.456";
+    pyk.url = "github:runtimeverification/pyk/v0.1.448";
     pyk.inputs.flake-utils.follows = "k-framework/flake-utils";
     pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs";
     foundry.url = "github:shazow/foundry.nix/monthly"; # Use monthly branch for permanent releases
diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock
index 0573cde5a2..a7c94d8cec 100644
--- a/kevm-pyk/poetry.lock
+++ b/kevm-pyk/poetry.lock
@@ -1,4 +1,4 @@
-# This file is automatically @generated by Poetry 1.5.1 and should not be changed by hand.
+# This file is automatically @generated by Poetry 1.6.1 and should not be changed by hand.
 
 [[package]]
 name = "attrs"
@@ -790,7 +790,7 @@ plugins = ["importlib-metadata"]
 
 [[package]]
 name = "pyk"
-version = "0.1.456"
+version = "0.1.448"
 description = ""
 optional = false
 python-versions = "^3.10"
@@ -810,8 +810,8 @@ tomli = "^2.0.1"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/pyk.git"
-reference = "v0.1.456"
-resolved_reference = "d7ef087d76f08c7f9305c4bf6aef01db7d77392e"
+reference = "v0.1.448"
+resolved_reference = "ca97bb1caf81ddbb70c87d9aa7be1a4b5385fb2b"
 
 [[package]]
 name = "pyperclip"
@@ -1075,4 +1075,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "5d4b12d836b16c2acdc42389b578538394b7f7228632df0d1afbd3870c92a5bf"
+content-hash = "0989e521a276d5702a2cb5da02927f97d6ca77864edcf175f0ffc9cdaffffcaa"
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
index f1bcfe1c97..13a3cb915d 100644
--- a/kevm-pyk/pyproject.toml
+++ b/kevm-pyk/pyproject.toml
@@ -17,7 +17,7 @@ packages = [
 [tool.poetry.dependencies]
 python = "^3.10"
 pathos = "*"
-pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.456" }
+pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.448" }
 tomlkit = "^0.11.6"
 xdg-base-dirs = "^6.0.0"