From 3f5a52675531e8af1bba25f1bb5f58a8814e8373 Mon Sep 17 00:00:00 2001
From: Dominik Muhs <dmuhs@protonmail.ch>
Date: Fri, 14 Dec 2018 19:05:22 +0100
Subject: [PATCH] Dynamically get Mythril version for docs

---
 docs/source/conf.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/source/conf.py b/docs/source/conf.py
index 6fe0d231..6103bc37 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -27,7 +27,8 @@ author = "Bernhard Mueller"
 # The short X.Y version
 version = ""
 # The full version, including alpha/beta/rc tags
-release = "0.19.9"
+from mythril.version import VERSION
+release = VERSION
 
 
 # -- General configuration ---------------------------------------------------