From bcdad24249f949be2d09ecefee00ba693645450d Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Tue, 4 Nov 2025 10:51:47 -0800
Subject: [PATCH] Bump ebmc version to 5.9

---
 src/config.inc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/config.inc b/src/config.inc
index dd13b536d..435bdad5a 100644
--- a/src/config.inc
+++ b/src/config.inc
@@ -1 +1 @@
-EBMC_VERSION = 5.8
+EBMC_VERSION = 5.9