diff --git a/mythril/__version__.py b/mythril/__version__.py
index 8c3aad74f..7b9ba54a5 100644
--- a/mythril/__version__.py
+++ b/mythril/__version__.py
@@ -4,4 +4,4 @@
 as for importing into Python.
 """
 
-__version__ = "v0.23.12"
+__version__ = "v0.23.13"