From: Arnaud Giersch Date: Thu, 23 Feb 2023 15:48:28 +0000 (+0100) Subject: Comment is not relevant anymore. X-Git-Tag: v3.34~464 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/16c3ee2d2a61e399f24130eb97c27b830023a9f0 Comment is not relevant anymore. [ci-skip] --- 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);