From 563d3726a149c668565539cd020d2a9d2e5f09ee Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Wed, 26 Aug 2020 12:11:28 +0200
Subject: [PATCH] updated server version

---
 package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.json b/package.json
index b29b821..d4bd99a 100644
--- a/package.json
+++ b/package.json
@@ -164,7 +164,7 @@
 		"@types/ndjson": "^1.5.0",
 		"@types/stream-to-array": "^2.3.0",
 		"@types/vscode": "^1.48.0",
-		"b-language-server": "https://github.com/SeeBasTStick/b-language-server/archive/v1.3.3.tar.gz",
+		"b-language-server": "https://github.com/SeeBasTStick/b-language-server/archive/v1.4.0.tar.gz",
 		"clean": "^4.0.2",
 		"error": "^10.4.0",
 		"fs": "0.0.1-security",
-- 
GitLab