diff --git a/esbmc_ai/__about__.py b/esbmc_ai/__about__.py
index 37dcc51..fe210f0 100644
--- a/esbmc_ai/__about__.py
+++ b/esbmc_ai/__about__.py
@@ -1,4 +1,4 @@
 # Author: Yiannis Charalambous
 
-__version__ = "v0.4.0.dev6"
+__version__ = "v0.4.0"
 __author__: str = "Yiannis Charalambous"