Re-black

6 years ago · 89ea53401f
parent 2cb7d1419b
commit 89ea53401f
1 changed files with 1 additions and 0 deletions
--- a/mythril/analysis/modules/integer.py
+++ b/mythril/analysis/modules/integer.py
@ -31,6 +31,7 @@ import logging

 log = logging.getLogger(__name__)

+
 class OverUnderflowAnnotation:
    """ Symbol Annotation used if a BitVector can overflow"""