From 97a3566477c35dea5ea4d31bde30cc59529114bf Mon Sep 17 00:00:00 2001
From: Augustin Degomme <adegomme@users.noreply.github.com>
Date: Fri, 19 Feb 2021 10:06:51 +0100
Subject: [PATCH] oops

---
 src/smpi/internals/smpi_global.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/smpi/internals/smpi_global.cpp b/src/smpi/internals/smpi_global.cpp
index ab98ec2809..08eddf8f3b 100644
--- a/src/smpi/internals/smpi_global.cpp
+++ b/src/smpi/internals/smpi_global.cpp
@@ -647,9 +647,10 @@ void SMPI_finalize()
                   simgrid::smpi::F2C::lookup()->end(),
                   [n](const std::pair<unsigned int, simgrid::smpi::F2C*> &p) {
                       static int printed = 0;
-                      if(p.first >= simgrid::smpi::F2C::get_num_default_handles() && printed < n)
+                      if(p.first >= simgrid::smpi::F2C::get_num_default_handles() && printed < n){
                         XBT_WARN ("Leak %p of type %s", p.second, boost::core::demangle(typeid(*(p.second)).name()).c_str() );
                         printed++;
+                      }
                   });
       }
     }
-- 
2.20.1