diff --git a/package.json b/package.json
index 222368e..f726124 100644
--- a/package.json
+++ b/package.json
@@ -14,7 +14,7 @@
   "bugs": {
     "url": "https://github.com/model-checking/kani-vscode-extension/issues"
   },
-  "version": "0.0.4",
+  "version": "0.0.5",
   "engines": {
     "vscode": "^1.70.0"
   },