Update version

esbmc · Feb 3, 2024 · 27fe350 · 27fe350
1 parent e6044fa
commit 27fe350
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/esbmc_ai/__about__.py b/esbmc_ai/__about__.py
@@ -1,4 +1,4 @@
 # Author: Yiannis Charalambous
 
-__version__ = "v0.4.0.dev4"
+__version__ = "v0.4.0.dev5"
 __author__: str = "Yiannis Charalambous"