diff options
| author | volth <volth@volth.com> | 2019-06-16 19:59:06 +0000 |
|---|---|---|
| committer | Alyssa Ross <hi@alyssa.is> | 2019-06-16 19:59:05 +0000 |
| commit | f3282c8d1e0ce6ba5d9f6aeddcfad51d879c7a4a (patch) | |
| tree | fc248141d976626274065a36839f64bd2dd3db99 /pkgs/top-level/coq-packages.nix | |
| parent | ccee4117be08f0474640e06f76a7881389fb7b47 (diff) | |
treewide: remove unused variables (#63177)
* treewide: remove unused variables
* making ofborg happy
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
| -rw-r--r-- | pkgs/top-level/coq-packages.nix | 3 |
1 files changed, 1 insertions, 2 deletions
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; |