Modify report text

pull/1029/head
Bernhard Mueller 6 years ago
parent 2cfa81ba2c
commit c03ddd4ae0
  1. 2
      mythril/analysis/modules/dependence_on_predictable_vars.py

@ -97,7 +97,7 @@ def _analyze_states(state: GlobalState) -> list:
description = ( description = (
"The " "The "
+ annotation.operation + annotation.operation
+ " is used in to determine an important control flow decision. " + " is used in to determine a control flow decision. "
) )
description += ( description += (
"Note that the values of variables like coinbase, gaslimit, block number and timestamp " "Note that the values of variables like coinbase, gaslimit, block number and timestamp "

Loading…
Cancel
Save