diff --git a/mythril/analysis/solver.py b/mythril/analysis/solver.py
index 0532a854..d41b24c0 100644
--- a/mythril/analysis/solver.py
+++ b/mythril/analysis/solver.py
@@ -94,7 +94,6 @@ def get_transaction_sequence(global_state, constraints):
 
     for d in model.decls():
         name = d.name()
-        logging.warn(d.name)
 
         if "call_value" in name:
             tx_id = name.replace("call_value", "")