From 1d20038f0a2922bb0086d6ca05d2ce0072fb201d Mon Sep 17 00:00:00 2001 From: Jaisurya Nanduri <91620234+jaisnan@users.noreply.github.com> Date: Mon, 12 Jun 2023 12:14:38 -0400 Subject: [PATCH] upgrade to 0.0.5 (#113) --- package.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/package.json b/package.json index 222368e..f726124 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.4", + "version": "0.0.5", "engines": { "vscode": "^1.70.0" },