diff --git a/package.json b/package.json
index edb614a..7768be7 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "language-b-eventb",
-  "version": "0.7.0",
+  "version": "0.7.1",
   "activationCommands": [],
   "main": "./lib/linter-b",
   "description": "B and Event-B language support in Atom",