From aeaafee6925ee963aaa329f1226bf7a0f9ad31fd Mon Sep 17 00:00:00 2001
From: Lin Jian <me@linj.tech>
Date: Thu, 18 Jul 2024 04:17:50 +0800
Subject: [PATCH] emacsPackages.agda2-mode: format using nixfmt-rfc-style

---
 .../elisp-packages/manual-packages/agda2-mode/default.nix    | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

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";
   };
 }
-