From 54d8489ebfc307225b79b5ca314509d391ed6367 Mon Sep 17 00:00:00 2001
From: Federico Mastellone <federico.pascual-mastellone@iohk.io>
Date: Fri, 5 Aug 2022 22:17:26 +0000
Subject: [PATCH] Not used

---
 nix/workbench/profile.nix | 2 --
 1 file changed, 2 deletions(-)

diff --git a/nix/workbench/profile.nix b/nix/workbench/profile.nix
index 25dc1ea5fce..9f6ae627c7e 100644
--- a/nix/workbench/profile.nix
+++ b/nix/workbench/profile.nix
@@ -46,5 +46,3 @@ pkgs.runCommand "workbench-profile-output-${profileNix.name}"
   cp    $generatorServicePath         $out/generator-service.json
   cp    $tracerServicePath            $out/tracer-service.json
   ''
-// { inherit (profileNix) name;
-   }