diff --git a/package-lock.json b/package-lock.json
index 26410099c374ddf69bc6d4a73ae75b31af6e8e3e..2520e08c82eaec118d9fe699488c1f166d6cca99 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,6 +1,6 @@
 {
 	"name": "b-language-extension",
-	"version": "0.5.1",
+	"version": "0.5.2",
 	"lockfileVersion": 1,
 	"requires": true,
 	"dependencies": {
diff --git a/package.json b/package.json
index f6237c392d91d6ebbb49d96571069d58eb88b261..7fe80b6b99e24d137a57736d4326dfa5f4d4dd03 100644
--- a/package.json
+++ b/package.json
@@ -2,7 +2,7 @@
 	"name": "b-language-extension",
 	"displayName": "B/ProB Language Support",
 	"description": "Compiler and language support for B and via ProB",
-	"version": "0.5.1",
+	"version": "0.5.2",
 	"publisher": "SeeBasTStick",
 	"icon": "media/prob2-ui.png",
 	"author": "Sebastian Stock",