coq: misc

Removing a dangling `let` that went undetected for a while
2022-02-15 10:06:07 +01:00
parent 9eac90f34b
commit 876cd6bcc2
1 changed files with 3 additions and 4 deletions
@@ -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" ;