viperproject
diff --git a/‎src/main/scala/viper/server/frontends/lsp/Receiver.scala‎
Lines changed: 1 addition & 1 deletion b/‎src/main/scala/viper/server/frontends/lsp/Receiver.scala‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎…tends/lsp/ast/utility/SignatueHelp.scala‎ ‎…ends/lsp/ast/utility/SignatureHelp.scala‎src/main/scala/viper/server/frontends/lsp/ast/utility/SignatueHelp.scala renamed to src/main/scala/viper/server/frontends/lsp/ast/utility/SignatureHelp.scala b/‎…tends/lsp/ast/utility/SignatueHelp.scala‎ ‎…ends/lsp/ast/utility/SignatureHelp.scala‎src/main/scala/viper/server/frontends/lsp/ast/utility/SignatueHelp.scala renamed to src/main/scala/viper/server/frontends/lsp/ast/utility/SignatureHelp.scala
@@ -80,7 +80,7 @@ trait LanguageReceiver extends StandardReceiver with LanguageServer {
     capabilities.setInlayHintProvider(true)
     // Moniker:                 [N/A]
     // Completion Proposals:
-    capabilities.setCompletionProvider(new CompletionOptions(false, Seq(".", ":", "(", "[", "{").asJava))
+    capabilities.setCompletionProvider(new CompletionOptions(false, Seq(".", ":", "(", "[").asJava))
     // Pull Diagnostics:        DISABLED (we use `publishDiagnostics` instead)
     // capabilities.setDiagnosticProvider(new DiagnosticRegistrationOptions(true, false))
     // Signature Help: