diff --git a/mythril/support/signatures.py b/mythril/support/signatures.py index ec3810d62..8afba178f 100644 --- a/mythril/support/signatures.py +++ b/mythril/support/signatures.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. diff --git a/mythril/support/support_utils.py b/mythril/support/support_utils.py index fa8d7f264..92d62f3e8 100644 --- a/mythril/support/support_utils.py +++ b/mythril/support/support_utils.py @@ -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.