From caa06776c55fff275904a55c4882b2c1337bc558 Mon Sep 17 00:00:00 2001
From: Joran Honig <joran.honig@gmail.com>
Date: Mon, 4 Feb 2019 14:47:22 +0100
Subject: [PATCH] interpret constraints as * argument

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

diff --git a/mythril/laser/smt/solver.py b/mythril/laser/smt/solver.py
index d8e32abc..18b43bca 100644
--- a/mythril/laser/smt/solver.py
+++ b/mythril/laser/smt/solver.py
@@ -38,7 +38,7 @@ class BaseSolver(Generic[T]):
         :param constraints:
         :return:
         """
-        self.add(constraints)
+        self.add(*constraints)
 
     def check(self) -> z3.CheckSatResult:
         """Returns z3 smt check result.