diff options
author | Cyril Cohen <CohenCyril@users.noreply.github.com> | 2022-02-12 10:07:33 +0100 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-02-15 10:06:07 +0100 |
commit | 876cd6bcc20440ae78ac496da4f7171705062181 (patch) | |
tree | 6cb27b862b3bce61e26d13db1c50ee7f2683f6e1 /pkgs/build-support/coq | |
parent | 9eac90f34b10db9d301f41634995e74f9528db1a (diff) |
coq: misc
Removing a dangling `let` that went undetected for a while
Diffstat (limited to 'pkgs/build-support/coq')
-rw-r--r-- | pkgs/build-support/coq/meta-fetch/default.nix | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/pkgs/build-support/coq/meta-fetch/default.nix b/pkgs/build-support/coq/meta-fetch/default.nix index e7b15af4f06e4..d5fe31c6ccf7d 100644 --- a/pkgs/build-support/coq/meta-fetch/default.nix +++ b/pkgs/build-support/coq/meta-fetch/default.nix @@ -59,10 +59,9 @@ switch arg [ (optionalAttrs has-owner { owner = head splitted; })); }; } { case = isAttrs; - out = let - { version = arg.version or "dev"; - src = (arg.fetcher or fetcher) (location // (arg.location or {})); - }; } + out = { + version = arg.version or "dev"; + src = (arg.fetcher or fetcher) (location // (arg.location or {})); }; } { case = isPath; out = { version = "dev" ; |