diff --git a/package-lock.json b/package-lock.json
index 8b13498acca5f95dba6dffbe3208352deadf8bf5..18e74d3cb06f1f622d27fcead5b1c99af28c3d2c 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,6 +1,6 @@
 {
 	"name": "b-eventb-language-extension",
-	"version": "0.0.3",
+	"version": "0.0.4",
 	"lockfileVersion": 1,
 	"requires": true,
 	"dependencies": {
@@ -2147,7 +2147,5 @@
 			}
 		}
 	},
-	"devDependencies":{
-		
-	}
+	"devDependencies": {}
 }
diff --git a/package.json b/package.json
index fe4436c76e21772cdccc19fc72dfb8a80d89dd84..3ac04d1a0007683c6701c166ecdbdded92c8f465 100644
--- a/package.json
+++ b/package.json
@@ -2,7 +2,7 @@
 	"name": "b-eventb-language-extension",
 	"displayName": "b-eventb language extension",
 	"description": "compiler support for b and eventb via ProB",
-	"version": "0.0.3",
+	"version": "0.0.4",
 	"publisher": "SeeBasTStick",
 	"icon": "prob2-ui.png",
 	"author": "Sebastian Stock",