Fix support of withEmacs.

proux01 · Dec 25, 2024 · 993df98 · 993df98
1 parent fb3515f
commit 993df98
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/default.nix b/default.nix
@@ -69,7 +69,7 @@ with initial.lib; let
      [ selected-instance.pkgs.coqPackages.coq-lsp ] else [];
   vscoq = if selected-instance.pkgs.coqPackages?vscoq-language-server then
      [ selected-instance.pkgs.coqPackages.vscoq-language-server ] else [];
-  emacs = with selected-instance.pkgs; emacsWithPackages
+  emacs = selected-instance.pkgs.emacs.pkgs.withPackages
     (epkgs: with epkgs.melpaPackages; [ proof-general ]);
   emacsInit = ./emacs-init.el;