From ec71828ba6dc99470676d8af8bb3d76eec3ea909 Mon Sep 17 00:00:00 2001 From: sellskin Date: Wed, 27 Mar 2024 22:20:33 +0800 Subject: [PATCH] chore: fix some comments (#1849) Signed-off-by: sellskin --- mythril/support/signatures.py | 2 +- mythril/support/support_utils.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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.