diff --git a/src/extension.ts b/src/extension.ts
index e697c258c2b3e644d30c4b8a84bba26781e63072..cf30bf3f49363ffc2e2ca47dfd34e14b0691ca55 100644
--- a/src/extension.ts
+++ b/src/extension.ts
@@ -11,6 +11,7 @@ import {
 	LanguageClient,
 	LanguageClientOptions,
 	ServerOptions,
+	NotificationType,
 } from 'vscode-languageclient';
 
 let client: LanguageClient;
@@ -35,28 +36,8 @@ export function activate(context: ExtensionContext) {
 	// Create the language client and start the client.
 	client = new LanguageClient('languageServer', 'Language Server', serverOptions, clientOptions)
 
-
-	
-
-
-	client.onReady().then(() => {
-		
-		let bla = window.createOutputChannel("internal_error")
-		client.onRequest("hello", (message:string) => {
-			window.showErrorMessage('a problem occured: ' + message)
-		});
-		client.onNotification("path_error_prob", (message:string) => {
-			window.showErrorMessage('a problem occured: ' + message)
-		});
-		client.onNotification("parse_error_prob", (message:string) => {
-			window.showErrorMessage('a error occured :' + message)
-		});
-	});
-
 	let item = window.createStatusBarItem(StatusBarAlignment.Right, Number.MIN_VALUE);
 
-	
-
 	item.text = 'Starting ProB LSP...';
 	toggleItem(window.activeTextEditor, item);