From 6e0accc040b8616b4b19b71accdb25e72430b89c Mon Sep 17 00:00:00 2001
From: Yiannis Charalambous <yiannis128@hotmail.com>
Date: Sat, 3 Feb 2024 17:09:20 +0000
Subject: [PATCH] Update version

---
 esbmc_ai/__about__.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/esbmc_ai/__about__.py b/esbmc_ai/__about__.py
index 3819af1..df4d703 100644
--- a/esbmc_ai/__about__.py
+++ b/esbmc_ai/__about__.py
@@ -1,4 +1,4 @@
 # Author: Yiannis Charalambous
 
-__version__ = "v0.4.0.dev1"
+__version__ = "v0.4.0.dev2"
 __author__: str = "Yiannis Charalambous"