From 7032cdcbd071bd9bc1784ae7c04f69b4d2220906 Mon Sep 17 00:00:00 2001
From: Nadim Kobeissi <nadim@symbolic.software>
Date: Sun, 8 Sep 2024 19:33:39 +0200
Subject: [PATCH] Verifpal 0.27.4

---
 assets/releasenotes.txt | 2 +-
 assets/version.txt      | 2 +-
 cmd/verifpal/main.go    | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/assets/releasenotes.txt b/assets/releasenotes.txt
index cf57472..59d4182 100644
--- a/assets/releasenotes.txt
+++ b/assets/releasenotes.txt
@@ -1 +1 @@
-Verifpal 0.27.3 fixes analysis bugs from previous versions and includes some toolchain updates.
+Verifpal 0.27.4 fixes analysis bugs from previous versions and includes some toolchain updates.
diff --git a/assets/version.txt b/assets/version.txt
index b38e1e7..9f22292 100644
--- a/assets/version.txt
+++ b/assets/version.txt
@@ -1 +1 @@
-0.27.3
+0.27.4
diff --git a/cmd/verifpal/main.go b/cmd/verifpal/main.go
index b457f81..36e4dd2 100644
--- a/cmd/verifpal/main.go
+++ b/cmd/verifpal/main.go
@@ -20,7 +20,7 @@ import (
 	"verifpal.com/cmd/vplogic"
 )
 
-const version = "0.27.3"
+const version = "0.27.4"
 
 var rootCmd = &cobra.Command{
 	Use:     "verifpal",