rocq-prover
diff --git a/‎package-lock.json
+1-1 b/‎package-lock.json
+1-1
diff --git a/‎package.json
+1-1 b/‎package.json
+1-1
@@ -7,7 +7,7 @@
     "email": "[email protected]",
     "url": "http://people.csail.mit.edu/cj/"
   },
-  "version": "0.3.3",
+  "version": "0.3.4",
   "publisher": "maximedenes",
   "license": "MIT",
   "icon": "images/logo.png",