2.0.2

package-lock.json

 {
 	"name": "b-language-extension",
-	"version": "2.0.1",
+	"version": "2.0.2",
 	"lockfileVersion": 1,
 	"requires": true,
 	"dependencies": {

package.json

@@ -2,7 +2,7 @@
 	"name": "b-language-extension",
 	"displayName": "B/ProB Language Support",
 	"description": "Compiler and language support for B via ProB",
-	"version": "2.0.1",
+	"version": "2.0.2",
 	"publisher": "SeeBasTStick",
 	"icon": "media/prob2-ui.png",
 	"author": "Sebastian Stock",