upgrade to 0.0.5 (#113)

model-checking · Jun 12, 2023 · 1d20038 · 1d20038
1 parent 60fb925
commit 1d20038
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"
   },