From 27d00f64ebac9916e0d1e365ddfa92e40c39c32f Mon Sep 17 00:00:00 2001
From: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
Date: Thu, 17 Aug 2023 11:47:01 -0400
Subject: [PATCH] Bump version to `0.0.6` (#129)

---
 package-lock.json | 4 ++--
 package.json      | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/package-lock.json b/package-lock.json
index b350880..2c38e03 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "kani-vscode-extension",
-  "version": "0.0.3",
+  "version": "0.0.6",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "kani-vscode-extension",
-      "version": "0.0.3",
+      "version": "0.0.6",
       "dependencies": {
         "esbuild": "0.16.2",
         "readline": "^1.3.0",
diff --git a/package.json b/package.json
index de2244a..044aee7 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.5",
+  "version": "0.0.6",
   "engines": {
     "vscode": "^1.70.0"
   },