From 94ea7831c60131fbae7baf2ebeaf508777b228ae Mon Sep 17 00:00:00 2001
From: Joran Honig <joran.honig@gmail.com>
Date: Mon, 4 Feb 2019 14:55:39 +0100
Subject: [PATCH] add required type hint

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

diff --git a/mythril/laser/smt/model.py b/mythril/laser/smt/model.py
index 2cc80351..b0c72d5c 100644
--- a/mythril/laser/smt/model.py
+++ b/mythril/laser/smt/model.py
@@ -19,7 +19,7 @@ class Model:
 
     def decls(self) -> List[z3.ExprRef]:
         """Get the declarations for this model"""
-        result = []
+        result = []  # type: List[z3.ExprRef]
         for internal_model in self.raw:
             result.extend(internal_model.decls())
         return result