Merge branch 'develop' into _update-deps/runtimeverification/haskell-…

…backend
runtimeverification · Jul 17, 2024 · 948b35d · 948b35d
2 parents c0a3e50 + a3838ba
commit 948b35d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 = { };
         });