Fix formatting

pull/1887/head
Gernot Salzer 3 weeks ago committed by GitHub
parent 31c3e6b49e
commit 0c17e89807
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
  1. 1
      mythril/ethereum/util.py

@ -177,6 +177,7 @@ VOID_START = re.compile("//|/\\*|\"|'")
QUOTE_END = re.compile("(?<!\\\\)'")
DQUOTE_END = re.compile('(?<!\\\\)"')
def remove_comments_strings(prg):
todo = "\n".join(prg) # normalize line ends
done = ""

Loading…
Cancel
Save