From 62390a35835c4d0f6e3b901c02ac2fc38b90f376 Mon Sep 17 00:00:00 2001
From: Quentin Aristote <quentin@aristote.fr>
Date: Sat, 11 Dec 2021 19:18:11 +0100
Subject: move link to why3 lib in why3 spacemacs layer

---
 home/config/emacs.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/home/config/emacs.nix b/home/config/emacs.nix
index 186d8e5..3758cb0 100644
--- a/home/config/emacs.nix
+++ b/home/config/emacs.nix
@@ -11,6 +11,6 @@
   };
 
   home.file.".spacemacs.d/init.el".source = ./dotfiles/spacemacs;
-  home.file.".emacs.d/private/layers/why3/local/why3".source =
+  home.file.".emacs.d/private/layers/why3/local/why3.backup".source =
     "${pkgs.why3}/share/emacs/site-lisp";
 }
-- 
cgit v1.2.3