fix bad url

CatalaLang · Nov 13, 2024 · 1feba29 · 1feba29
1 parent 686ac07
commit 1feba29
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/1-1-installing.md b/src/1-1-installing.md
@@ -57,7 +57,7 @@ The VSCode extension requires the Catala's Language Server Protocol to be instal
 This can be done by running:
 
 ```bash
-$ opam pin add catala git+https://github.com/CatalaLang/catala-lsp -y
+$ opam pin add catala-lsp git+https://github.com/CatalaLang/catala-language-server -y
 ```
 
 ### Getting the VSCode extension