From 4e5d7a4ca0d09e37672579b453d1af210ee6ca52 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Mon, 8 Aug 2022 12:32:16 -0700
Subject: [PATCH] Simplify a deletion

---
 pkgs/top-level/dotnet-packages.nix | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/pkgs/top-level/dotnet-packages.nix b/pkgs/top-level/dotnet-packages.nix
index d357d3fdb95..e9175b6909e 100644
--- a/pkgs/top-level/dotnet-packages.nix
+++ b/pkgs/top-level/dotnet-packages.nix
@@ -205,10 +205,8 @@ let self = dotnetPackages // overrides; dotnetPackages = with self; {
 
       mv "$out/bin/Dafny" "$out/bin/dafny"
 
-      rm -f "$out/bin"/System.* "$out/bin"/Microsoft.*
-      rm -f "$out/bin"/NUnit3.* "$out/bin"/coverlet.*
-      rm -f "$out/bin"/ThirdPartyNotices.txt
-      rm -f "$out/bin"/XUnitExtensions
+      rm -f $out/bin/{coverlet,Microsoft,NUnit3,System}.*
+      rm -f $out/bin/{ThirdPartyNotices.txt,XUnitExtensions}
     '';
 
     meta = with lib; {