A little bit of black

6 years ago · b598ce3afa
parent ca34b3aa19
commit b598ce3afa
1 changed files with 3 additions and 3 deletions
--- a/mythril/analysis/modules/integer.py
+++ b/mythril/analysis/modules/integer.py
@ -170,9 +170,9 @@ class IntegerOverflowUnderflowModule(DetectionModule):

            try:

-                transaction_sequence =  olver.get_transaction_sequence(
-                        state, node.constraints + [annotation.constraint]
-                    )
+                transaction_sequence = solver.get_transaction_sequence(
+                    state, node.constraints + [annotation.constraint]
+                )

                issue.debug = json.dumps(transaction_sequence, indent=4)