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",