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