diff --git a/pkgs/applications/editors/emacs/elisp-packages/manual-packages/agda2-mode/default.nix b/pkgs/applications/editors/emacs/elisp-packages/manual-packages/agda2-mode/default.nix
index 26292aca4e63..5eec518036ea 100644
--- a/pkgs/applications/editors/emacs/elisp-packages/manual-packages/agda2-mode/default.nix
+++ b/pkgs/applications/editors/emacs/elisp-packages/manual-packages/agda2-mode/default.nix
@@ -1,6 +1,4 @@
-{ melpaBuild
-, haskellPackages
-}:
+{ melpaBuild, haskellPackages }:
 let
   Agda = haskellPackages.Agda;
 in
@@ -15,4 +13,3 @@ melpaBuild {
     description = "Agda2-mode for Emacs extracted from Agda package";
   };
 }
-