From 993df9867cd1103daa650487f8ba6aaae132e579 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= <theo.zimmermann@telecom-paris.fr>
Date: Wed, 25 Dec 2024 12:44:31 +0100
Subject: [PATCH] Fix support of withEmacs.

---
 default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/default.nix b/default.nix
index 970a47e..a86eb93 100644
--- 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;