Merge branch 'develop' into refactor_integer_module

6 years ago · 696c51d531
parent 68c85215ee 770b964340
commit 696c51d531
1 changed files with 0 additions and 2 deletions
--- a/mythril/analysis/modules/exceptions.py
+++ b/mythril/analysis/modules/exceptions.py
@ -18,8 +18,6 @@ def _analyze_state(state) -> list:
    :param state:
    :return:
    """
-    log.info("Exceptions module: found ASSERT_FAIL instruction")
-
    log.debug("ASSERT_FAIL in function " + state.environment.active_function_name)

    try: