From a3838ba94ee02aacd6b5f2bf94d0ae31834c69ea Mon Sep 17 00:00:00 2001
From: Jost Berthold <jost.berthold@gmail.com>
Date: Wed, 17 Jul 2024 12:36:55 +1000
Subject: [PATCH] Adapt `kore-integration-tests` dev shell to new name (#4527)

The name change from `k-framework` to `mk-k-framework` was incomplete,
the `kore-integration-test` dev shell did not work any more. This shell
is used for the Haskell Backend integration tests.
I have tested that [the change here makes the integration test shell
work
again](https://github.com/runtimeverification/haskell-backend/pull/3965/commits/de1cc7dde7f5f6092ee28ec8c30f78d89075ea92).
Merging this will unblock the [dependency upgrade PR in Haskell
Backend](https://github.com/runtimeverification/haskell-backend/pull/3965).
---
 flake.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index e9acac0a6ea..27f5802fdee 100644
--- a/flake.nix
+++ b/flake.nix
@@ -210,7 +210,7 @@
             };
         };
         defaultPackage = packages.k;
-        devShells.kore-integration-tests = pkgs.kore-tests (pkgs.k-framework {
+        devShells.kore-integration-tests = pkgs.kore-tests (pkgs.mk-k-framework {
           inherit (pkgs) haskell-backend-bins;
           llvm-kompile-libs = { };
         });