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"