model-checking
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
@@ -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"