chore: fix some comments (#1849)

Signed-off-by: sellskin <mydesk@yeah.net>
pull/1855/head
sellskin 7 months ago committed by GitHub
parent 2bae84edad
commit ec71828ba6
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
  1. 2
      mythril/support/signatures.py
  2. 2
      mythril/support/support_utils.py

@ -48,7 +48,7 @@ class Singleton(type):
@synchronized(lock)
def __call__(cls, *args, **kwargs):
"""Delegate the call to an existing resource or a a new one.
"""Delegate the call to an existing resource or a new one.
This is not thread- or process-safe by default. It must be protected with
a lock.

@ -17,7 +17,7 @@ class Singleton(type):
_instances: Dict = {}
def __call__(cls, *args, **kwargs):
"""Delegate the call to an existing resource or a a new one.
"""Delegate the call to an existing resource or a new one.
This is not thread- or process-safe by default. It must be protected with
a lock.

Loading…
Cancel
Save