From fb949416dc1384ca07eba4eabe6c3f5f2290b67e Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Mon, 23 Sep 2024 07:26:39 -0400
Subject: [PATCH] bump ebmc version to 5.2

---
 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 5e4ce064b..f7fd9f6d5 100644
--- a/src/ebmc/ebmc_version.h
+++ b/src/ebmc/ebmc_version.h
@@ -1 +1 @@
-#define EBMC_VERSION "5.1"
+#define EBMC_VERSION "5.2"