From 923fad863ca592af9170ae89abc8326119a9e790 Mon Sep 17 00:00:00 2001
From: Connor Baker <ConnorBaker01@Gmail.com>
Date: Tue, 5 Apr 2022 09:22:52 -0400
Subject: [PATCH] z3: Remove unused fetchpatch

---
 pkgs/applications/science/logic/z3/default.nix | 1 -
 1 file changed, 1 deletion(-)

diff --git a/pkgs/applications/science/logic/z3/default.nix b/pkgs/applications/science/logic/z3/default.nix
index 6d1215334104..985df6a8f5f0 100644
--- a/pkgs/applications/science/logic/z3/default.nix
+++ b/pkgs/applications/science/logic/z3/default.nix
@@ -1,7 +1,6 @@
 { lib
 , stdenv
 , fetchFromGitHub
-, fetchpatch
 , python
 , fixDarwinDylibNames
 , javaBindings ? false