format: Fix some typos

coq · Aug 20, 2024 · 248eda8 · 248eda8
1 parent 1078fb3
commit 248eda8
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/client/src/client.ts b/client/src/client.ts
@@ -38,7 +38,7 @@ export default class Client extends LanguageClient {
       serverOptions,
       clientOptions,
     );
-    Client._channel.appendLine("VsCoq initialised");
+    Client._channel.appendLine("VsCoq initialized");
   }
 
   public static writeToVscoq2Channel(message: string) {

diff --git a/client/src/utilities/versioning.ts b/client/src/utilities/versioning.ts
@@ -10,7 +10,7 @@ export const checkVersion = (client: Client, context: ExtensionContext) => {
     if (serverInfo !== undefined) {
       const { name, version } = serverInfo;
       Client.writeToVscoq2Channel(
-        "[Versioning] Intialized server " + name + " [" + version + "]",
+        "[Versioning] Initialized server " + name + " [" + version + "]",
       );
       if (!checkCompat(extensionVersion, version)) {
         window.showErrorMessage(
@@ -30,7 +30,7 @@ export const checkVersion = (client: Client, context: ExtensionContext) => {
     }
   } else {
     Client.writeToVscoq2Channel(
-      "Could not run compatibility tests: failed to recieve initializeResult",
+      "Could not run compatibility tests: failed to receive initializeResult",
     );
   }
 };