diff --git a/package-lock.json b/package-lock.json
index 23af359bb090dd34694b0864a4b6198c661fbfb8..26410099c374ddf69bc6d4a73ae75b31af6e8e3e 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,6 +1,6 @@
 {
 	"name": "b-language-extension",
-	"version": "0.5.0",
+	"version": "0.5.1",
 	"lockfileVersion": 1,
 	"requires": true,
 	"dependencies": {
diff --git a/package.json b/package.json
index 122566466296f7cb8ec62266a6ef619d0f8b5acc..f6237c392d91d6ebbb49d96571069d58eb88b261 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.0",
+	"version": "0.5.1",
 	"publisher": "SeeBasTStick",
 	"icon": "media/prob2-ui.png",
 	"author": "Sebastian Stock",