Not used

IntersectMBO · Aug 8, 2022 · 0cb6a3c · 0cb6a3c
1 parent e7c8bba
commit 0cb6a3c
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/nix/workbench/default.nix b/nix/workbench/default.nix
@@ -105,7 +105,7 @@ let
         or (throw "No such profile: ${profileName};  Known profiles: ${toString (__attrNames ps.value)}");
 
       profile = materialise-profile
-        { inherit profileNix workbench;
+        { inherit profileNix;
           backendProfile = backend.materialise-profile { inherit profileNix; };
         };
 

diff --git a/nix/workbench/profile.nix b/nix/workbench/profile.nix
@@ -3,7 +3,6 @@ with lib;
 
 { profileNix
 , backendProfile ## Backend-specific results for forwarding
-, workbench
 }:
 pkgs.runCommand "workbench-profile-output-${profileNix.name}"
   { buildInputs = [];