From f19820dc64c61dcd7d00f491dd4181ae0eb8dba4 Mon Sep 17 00:00:00 2001 From: Nicolas Klose Date: Thu, 15 Feb 2024 19:13:46 +0100 Subject: [PATCH] updated version --- client/package-lock.json | 4 ++-- client/package.json | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/client/package-lock.json b/client/package-lock.json index e631f11b..621a7e6b 100644 --- a/client/package-lock.json +++ b/client/package-lock.json @@ -1,12 +1,12 @@ { "name": "viper", - "version": "4.2.2", + "version": "4.3.0", "lockfileVersion": 3, "requires": true, "packages": { "": { "name": "viper", - "version": "4.2.2", + "version": "4.3.0", "license": "SEE LICENSE IN LICENSE.txt", "devDependencies": { "@types/glob": "^8.1.0", diff --git a/client/package.json b/client/package.json index 57ef192b..fc09e240 100644 --- a/client/package.json +++ b/client/package.json @@ -1,7 +1,7 @@ { "name": "viper", "displayName": "Viper", - "version": "4.2.2", + "version": "4.3.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",