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.