Fixed a typo in docs (#1740)

* Fixed a typo in docs

* Corrected the name of a param
pull/1741/head
Rahul Saxena 2 years ago committed by GitHub
parent d543c3aed1
commit 5d92dcbc1f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      mythril/analysis/report.py
  2. 2
      mythril/analysis/solver.py

@ -50,7 +50,7 @@ class Issue:
:param severity: The severity of the issue
:param description_head: The top part of description
:param description_tail: The bottom part of the description
:param debug: The transaction sequence
:param transaction_sequence: The transaction sequence
"""
self.title = title
self.contract = contract

@ -109,7 +109,7 @@ def _add_calldata_placeholder(
transaction_sequence: List[BaseTransaction],
):
"""
Add's a calldata placeholder into the concrete transactions
Adds a calldata placeholder into the concrete transactions
:param concrete_transactions:
:param transaction_sequence:
:return:

Loading…
Cancel
Save