Include which in the nix dev shell (#2590)

runtimeverification · Aug 21, 2024 · 93cac61 · 93cac61
1 parent 414742d
commit 93cac61
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/flake.nix b/flake.nix
@@ -180,7 +180,7 @@
       in {
         packages.default = kevm;
         devShell = pkgs.mkShell {
-          buildInputs = buildInputs pkgs ++ [ pkgs.poetry-nixpkgs ];
+          buildInputs = buildInputs pkgs ++ [ pkgs.poetry-nixpkgs pkgs.which ];
 
           shellHook = ''
             export NIX_LIBS="${nixLibs pkgs}"