From e9f630e992bacd8a7a3779ac5f0985f9624b05a4 Mon Sep 17 00:00:00 2001
From: Federico Mastellone <federico.pascual-mastellone@iohk.io>
Date: Sat, 6 Aug 2022 02:42:23 +0000
Subject: [PATCH] Not used

---
 nix/workbench/default.nix | 2 +-
 nix/workbench/profile.nix | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/nix/workbench/default.nix b/nix/workbench/default.nix
index 97628fb7112..9cec39727de 100644
--- 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
index e49c3c73011..74374543169 100644
--- 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 = [];