From 75262348f418575ab91ef51f35cf46f4ef364c3c Mon Sep 17 00:00:00 2001 From: Marco Eilers Date: Wed, 4 Sep 2024 12:24:26 +0200 Subject: [PATCH] Update package.json --- client/package.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/client/package.json b/client/package.json index c82c7c8b..f02aba90 100644 --- a/client/package.json +++ b/client/package.json @@ -1,7 +1,7 @@ { "name": "viper", "displayName": "Viper", - "version": "4.3.1", + "version": "4.4.0", "publisher": "viper-admin", "description": "This extension provides interactive IDE features for verifying programs in Viper (Verification Infrastructure for Permission-based Reasoning).", "license": "SEE LICENSE IN LICENSE.txt",