Update README.md

leanprover · Sep 7, 2023 · 601abed · 601abed
1 parent 6ef0bfa
commit 601abed
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -30,7 +30,7 @@ and you should see something like this in the `Lean: Editor` output panel:
     Lean (version 4.0.0-nightly-2021-10-18, commit e843fb7ca5b5, Release)
     ```
 
-See [Complete Setup](#complete_setup) for more information
+See [Complete Setup](#complete-setup) for more information
 on how the lean version is determined for your VS Code workspace.
 
 This version of the VS Code extension only works on Lean 4 source files and not