Advance version to 1.0.1

model-checking · Nov 18, 2022 · 0785d69 · 0785d69
1 parent 3c73b3e
commit 0785d69
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/package-lock.json b/package-lock.json
diff --git 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"