Skip to content

Commit

Permalink
Fix configuration of Pico language server
Browse files Browse the repository at this point in the history
  • Loading branch information
sungshik committed Nov 8, 2024
1 parent b7c9012 commit 571f840
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions rascal-lsp/src/main/rascal/demo/lang/pico/LanguageServer.rsc
Original file line number Diff line number Diff line change
Expand Up @@ -195,7 +195,7 @@ void main() {
pathConfig(),
"Pico",
{"pico", "pico-new"},
"demo::lang::pico::NewLanguageServer",
"demo::lang::pico::LanguageServer",
"picoLanguageServer"
)
);
Expand All @@ -204,7 +204,7 @@ void main() {
pathConfig(),
"Pico",
{"pico", "pico-new"},
"demo::lang::pico::NewLanguageServer",
"demo::lang::pico::LanguageServer",
"picoLanguageServerSlowSummary"
)
);
Expand Down

0 comments on commit 571f840

Please sign in to comment.