From 8058994172f8983ac195f3be87e7a4b2cf6102b1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maxime=20D=C3=A9n=C3=A8s?= <maxime.denes@inria.fr>
Date: Fri, 11 Aug 2023 14:57:39 +0200
Subject: [PATCH] Bump version number

---
 client/package.json                    | 2 +-
 client/src/utilities/versioning.ts     | 4 ++--
 flake.nix                              | 2 +-
 language-server/vscoqtop/lspManager.ml | 2 +-
 4 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/client/package.json b/client/package.json
index c9c118251..81445be42 100644
--- a/client/package.json
+++ b/client/package.json
@@ -4,7 +4,7 @@
   "description": "VsCoq is an extension for Visual Studio Code with support for the Coq Proof Assistant",
   "publisher": "maximedenes",
   "license": "MIT",
-  "version": "1.9.0",
+  "version": "1.9.1",
   "repository": {
     "type": "git",
     "url": "https://github.com/coq-community/vscoq.git"
diff --git a/client/src/utilities/versioning.ts b/client/src/utilities/versioning.ts
index ebffa0c13..964cbc728 100644
--- a/client/src/utilities/versioning.ts
+++ b/client/src/utilities/versioning.ts
@@ -11,8 +11,8 @@ export const checkVersion = (client: Client, context: ExtensionContext) => {
         if(serverInfo !== undefined) {
             const {name, version} = serverInfo;
             client.writeToVscoq2Channel("Intialized server " + name + " [" + version + "]");
-            if(!checkCompat(extensionVersion, version)) {
-                window.showErrorMessage(name + ' ' + version + ' and vscoq ' + extensionVersion + ' are not compatible.'); 
+            if(extensionVersion !== version) {
+                window.showErrorMessage('This version of VsCoq requires version ' + extensionVersion + ' of ' + name);
             }
         } else {
             client.writeToVscoq2Channel("Could not run compatibility tests: failed to get serverInfo");
diff --git a/flake.nix b/flake.nix
index c0b42cf8b..f9d4e78a6 100644
--- a/flake.nix
+++ b/flake.nix
@@ -25,7 +25,7 @@
       ocamlPackages.buildDunePackage {
         duneVersion = "3";
         pname = "vscoq-language-server";
-        version = "1.9.0";
+        version = "1.9.1";
         src = ./language-server;
         buildInputs = [
           coq
diff --git a/language-server/vscoqtop/lspManager.ml b/language-server/vscoqtop/lspManager.ml
index c29d89e3a..6025cdcf6 100644
--- a/language-server/vscoqtop/lspManager.ml
+++ b/language-server/vscoqtop/lspManager.ml
@@ -39,7 +39,7 @@ let conf_request_id = 3456736879
 
 let server_info = InitializeResult.create_serverInfo
   ~name:"vscoq-language-server"
-  ~version:"1.9.0"
+  ~version:"1.9.1"
   ()
 
 type lsp_event =