diff --git a/package-lock.json b/package-lock.json
index 5fc88d9..c6c296e 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,6 +1,6 @@
 {
   "name": "cbmc-proof-debugger",
-  "version": "1.0.0",
+  "version": "1.0.1",
   "lockfileVersion": 2,
   "requires": true,
   "packages": {
diff --git a/package.json b/package.json
index 52b65bf..ad0bf3f 100644
--- a/package.json
+++ b/package.json
@@ -3,7 +3,7 @@
   "displayName": "CBMC proof debugger",
   "description": "Debug error traces produced by CBMC.",
   "publisher": "model-checking",
-  "version": "1.0.0",
+  "version": "1.0.1",
   "repository": "https://github.com/model-checking/cbmc-proof-debugger",
   "engines": {
     "vscode": "^1.53.0"