Merge pull request #513 from usethesource/fix-pico-configuration

Fix configuration of Pico language server
usethesource · Nov 8, 2024 · 0f5e913 · 0f5e913
2 parents b7c9012 + 571f840
commit 0f5e913
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/rascal-lsp/src/main/rascal/demo/lang/pico/LanguageServer.rsc b/rascal-lsp/src/main/rascal/demo/lang/pico/LanguageServer.rsc
@@ -195,7 +195,7 @@ void main() {
             pathConfig(),
             "Pico",
             {"pico", "pico-new"},
-            "demo::lang::pico::NewLanguageServer",
+            "demo::lang::pico::LanguageServer",
             "picoLanguageServer"
         )
     );
@@ -204,7 +204,7 @@ void main() {
             pathConfig(),
             "Pico",
             {"pico", "pico-new"},
-            "demo::lang::pico::NewLanguageServer",
+            "demo::lang::pico::LanguageServer",
             "picoLanguageServerSlowSummary"
         )
     );