Merge branch 'master' of github.com:ConsenSys/mythril

7 years ago · 8805e41a7c
parent 0101c86fa3 c4cdbddc4e
commit 8805e41a7c
1 changed files with 1 additions and 1 deletions
--- a/mythril/analysis/modules/integer.py
+++ b/mythril/analysis/modules/integer.py
@ -66,7 +66,7 @@ def execute(statespace):
                        issue = Issue(node.contract_name, node.function_name, instruction['address'], "Integer Underflow", "Warning")

                        issue.description = "A possible integer underflow exists in the function " + node.function_name + ".\n" \
-                            "The substraction may result in a value < 0."
+                            "The subtraction may result in a value < 0."

                        issue.debug = solver.pretty_print_model(model)
                        issues.append(issue)