[readme] Fix ref.

ejgallego · May 31, 2024 · 3cec356 · 3cec356
1 parent 48de414
commit 3cec356
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -61,7 +61,7 @@ and web native usage, providing quite a few extra features from vanilla Coq.
   - [✅ Vim](#-vim)
   - [🩱 Neovim](#-neovim)
   - [🐍 Python](#-python)
-- [⇨ `coq-lsp` users and extensions](#️-coq-lsp-users-and-extensions)
+- [⇨ `coq-lsp` users and extensions](#-coq-lsp-users-and-extensions)
 - [🗣️ Discussion Channel](#️-discussion-channel)
 - [☎ Weekly Calls](#-weekly-calls)
 - [❓FAQ](#faq)