diff --git a/package-lock.json b/package-lock.json
index 5672ae24c..7d865eeff 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,11 +1,11 @@
 {
   "name": "vscoq",
-  "version": "0.3.4",
+  "version": "0.3.5",
   "lockfileVersion": 2,
   "requires": true,
   "packages": {
     "": {
-      "version": "0.3.4",
+      "version": "0.3.5",
       "hasInstallScript": true,
       "license": "MIT",
       "dependencies": {
diff --git a/package.json b/package.json
index 0d441b369..646ed872e 100644
--- a/package.json
+++ b/package.json
@@ -7,7 +7,7 @@
     "email": "siegebell@gmail.com",
     "url": "http://people.csail.mit.edu/cj/"
   },
-  "version": "0.3.4",
+  "version": "0.3.5",
   "publisher": "maximedenes",
   "license": "MIT",
   "icon": "images/logo.png",