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) | |
| download | nixpkgs-f3282c8d1e0ce6ba5d9f6aeddcfad51d879c7a4a.tar nixpkgs-f3282c8d1e0ce6ba5d9f6aeddcfad51d879c7a4a.tar.gz nixpkgs-f3282c8d1e0ce6ba5d9f6aeddcfad51d879c7a4a.tar.bz2 nixpkgs-f3282c8d1e0ce6ba5d9f6aeddcfad51d879c7a4a.tar.lz nixpkgs-f3282c8d1e0ce6ba5d9f6aeddcfad51d879c7a4a.tar.xz nixpkgs-f3282c8d1e0ce6ba5d9f6aeddcfad51d879c7a4a.tar.zst nixpkgs-f3282c8d1e0ce6ba5d9f6aeddcfad51d879c7a4a.zip | |
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 cc40f78875c..725ea6db2de 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; |