From 2ea35c5c027d9134e5c968c20e311946f5a2b184 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Thu, 7 Nov 2024 12:51:59 -0600
Subject: [PATCH] Bump EBMC version to 5.4

---
 src/ebmc/ebmc_version.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ebmc/ebmc_version.h b/src/ebmc/ebmc_version.h
index 235d9a5cc..34e8cef54 100644
--- a/src/ebmc/ebmc_version.h
+++ b/src/ebmc/ebmc_version.h
@@ -1 +1 @@
-#define EBMC_VERSION "5.3"
+#define EBMC_VERSION "5.4"