From f3282c8d1e0ce6ba5d9f6aeddcfad51d879c7a4a Mon Sep 17 00:00:00 2001
From: volth <volth@volth.com>
Date: Sun, 16 Jun 2019 19:59:06 +0000
Subject: treewide: remove unused variables (#63177)

* treewide: remove unused variables

* making ofborg happy
---
 pkgs/top-level/coq-packages.nix | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'pkgs/top-level/coq-packages.nix')

diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix
index cc40f78875c8..725ea6db2dea 100644
--- a/pkgs/top-level/coq-packages.nix
+++ b/pkgs/top-level/coq-packages.nix
@@ -2,8 +2,7 @@
 
 let
   mkCoqPackages' = self: coq:
-    let newScope = self.newScope;
-        callPackage = self.callPackage; in {
+    let callPackage = self.callPackage; in {
       inherit coq;
       coqPackages = self;
 
-- 
cgit 1.4.1