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 = { };
         });