From 268f2a305c962029437af74865d452cbca5df372 Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Mon, 20 Jul 2020 14:01:27 +0200
Subject: [PATCH] cleaned up and fixed typing error

---
 package.json         | 2 +-
 server/src/server.ts | 3 ---
 2 files changed, 1 insertion(+), 4 deletions(-)

diff --git a/package.json b/package.json
index e01fdc0..b879faf 100644
--- a/package.json
+++ b/package.json
@@ -1,7 +1,7 @@
 {
 	"name": "b-language-extension",
 	"displayName": "B/ProB Language Support",
-	"description": "Compiler and language support for B and via ProB",
+	"description": "Compiler and language support for B via ProB",
 	"version": "0.6.8",
 	"publisher": "SeeBasTStick",
 	"icon": "media/prob2-ui.png",
diff --git a/server/src/server.ts b/server/src/server.ts
index f8a5081..ff9fc48 100644
--- a/server/src/server.ts
+++ b/server/src/server.ts
@@ -22,9 +22,6 @@ import * as fs from 'fs';
 import { NDJSON, readErrors, matchErrors, buildErrors } from './errorHandler';
 import * as wordComplition from './wordCompletion'
 import * as path from 'path';
-import * as URL from 'url'
-//import * as uri2path from 'file-uri-to-path'
-
 
 
 // Create a connection for the server. The connection uses Node's IPC as a transport.
-- 
GitLab