From 40c5bbd167b86ec9a3b58368b4f18f7a1705c40f Mon Sep 17 00:00:00 2001
From: Karolin Varner <karo@cupdev.net>
Date: Sat, 3 Aug 2024 14:06:19 +0200
Subject: [PATCH] chore: Ensure that rustAnalyzer is installed in dev
 environment

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

diff --git a/flake.nix b/flake.nix
index 950dcbf..4a54604 100644
--- a/flake.nix
+++ b/flake.nix
@@ -411,12 +411,12 @@
             inherit (packages.proof-proverif) CRYPTOVERIF_LIB;
             inputsFrom = [ packages.default ];
             nativeBuildInputs = with pkgs; [
+              inputs.fenix.packages.${system}.complete.toolchain
               cmake # override the fakecmake from the main step above
               cargo-release
               clippy
               nodePackages.prettier
               nushell # for the .ci/gen-workflow-files.nu script
-              rustfmt
               packages.proverif-patched
             ];
           };