diff --git a/mythril/analysis/modules/integer.py b/mythril/analysis/modules/integer.py
index 94b3588b..d98ed069 100644
--- a/mythril/analysis/modules/integer.py
+++ b/mythril/analysis/modules/integer.py
@@ -290,7 +290,7 @@ class IntegerOverflowUnderflowModule(DetectionModule):
             try:
 
                 transaction_sequence = solver.get_transaction_sequence(
-                    state, node.constraints + [annotation.constraint]
+                    state, state.mstate.constraints + [annotation.constraint]
                 )
             except UnsatError:
                 continue