From a0c5fa9bee2d44116cec66b8e5c11a962fb3fe9f Mon Sep 17 00:00:00 2001
From: Bernhard Mueller <bernhard.mueller11@gmail.com>
Date: Mon, 5 Aug 2019 14:18:15 +0200
Subject: [PATCH] Bump version number

---
 mythril/__version__.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mythril/__version__.py b/mythril/__version__.py
index 3490630e..a9b138d9 100644
--- a/mythril/__version__.py
+++ b/mythril/__version__.py
@@ -4,4 +4,4 @@ This file is suitable for sourcing inside POSIX shell, e.g. bash as well
 as for importing into Python.
 """
 
-__version__ = "v0.21.12"
+__version__ = "v0.21.13"