diff --git a/esbmc_ai/__about__.py b/esbmc_ai/__about__.py
index 18ab2f0..3819af1 100644
--- a/esbmc_ai/__about__.py
+++ b/esbmc_ai/__about__.py
@@ -1,4 +1,4 @@
 # Author: Yiannis Charalambous
 
-__version__: str = "v0.4.0"
+__version__ = "v0.4.0.dev1"
 __author__: str = "Yiannis Charalambous"
diff --git a/pyproject.toml b/pyproject.toml
index b027c56..a9edd5b 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -5,8 +5,8 @@ build-backend = "hatchling.build"
 [project]
 name = "esbmc_ai"
 # https://hatch.pypa.io/latest/version/
-version = "0.4.0dev0"
-# dynamic = ["version"]
+# version = "0.4.0dev0"
+dynamic = ["version"]
 authors = [
   { name="Yiannis Charalambous", email="yiannis128@hotmail.com" },
 ]
@@ -64,7 +64,7 @@ Homepage = "https://github.com/Yiannis128/esbmc-ai"
 Documentation = "https://github.com/Yiannis128/esbmc-ai/wiki"
 Issues = "https://github.com/Yiannis128/esbmc-ai/issues"
 
-# [tool.hatch.version]
-# path = "__about__.py"
+[tool.hatch.version]
+path = "esbmc_ai/__about__.py"