From 16c3ee2d2a61e399f24130eb97c27b830023a9f0 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Thu, 23 Feb 2023 16:48:28 +0100 Subject: [PATCH] Comment is not relevant anymore. [ci-skip] --- src/xbt/dict.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/xbt/dict.cpp b/src/xbt/dict.cpp index e733dada8f..f1e73d31dc 100644 --- a/src/xbt/dict.cpp +++ b/src/xbt/dict.cpp @@ -35,7 +35,7 @@ static void xbt_dict_preinit() { static std::mutex init_mutex; const std::scoped_lock lock(init_mutex); - if (dict_elm_mallocator == nullptr) { // Just in case someone initialized it in between + if (dict_elm_mallocator == nullptr) { dict_elm_mallocator = xbt_mallocator_new(256, dict_elm_mallocator_new_f, dict_elm_mallocator_free_f, dict_elm_mallocator_reset_f); atexit(xbt_dict_postexit); -- 2.20.1