diff --git a/pkgs/applications/editors/emacs/elisp-packages/agda-input/default.nix b/pkgs/applications/editors/emacs/elisp-packages/agda-input/default.nix index e2a9944e83bf..a96f7393dfaf 100644 --- a/pkgs/applications/editors/emacs/elisp-packages/agda-input/default.nix +++ b/pkgs/applications/editors/emacs/elisp-packages/agda-input/default.nix @@ -1,6 +1,6 @@ { trivialBuild , haskellPackages -} +}: trivialBuild { pname = "agda-input";