From b4bdd5ca10d8887b32b0f2010f4c16e5f0285b26 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 17 Aug 2022 07:44:12 -0400
Subject: [PATCH] fix vscode configuration

---
 CONTRIBUTING.md | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 42f77b5cbc0..b2964e046ec 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -174,16 +174,14 @@ to `.vscode/settings.json` in your local Miri clone:
         "check",
         "--message-format=json"
     ],
-    "rust-analyzer.buildScripts.overrideCommand": [
+    // Contrary to what the name suggests, this also affects proc macros.
+    "rust-analyzer.cargo.buildScripts.overrideCommand": [
         "env",
         "MIRI_AUTO_OPS=no",
         "./miri",
         "check",
         "--message-format=json",
     ],
-    "rust-analyzer.rustfmt.extraArgs": [
-        "+nightly"
-    ],
 }
 ```