From 2c9526a3d18e373a7fbeb6b7ba74b2597ada5d8a Mon Sep 17 00:00:00 2001 From: Augustin Degomme Date: Thu, 28 May 2020 17:29:14 +0200 Subject: [PATCH] that's not a double --- src/simix/smx_global.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/simix/smx_global.cpp b/src/simix/smx_global.cpp index 6187806948..d8a18c0749 100644 --- a/src/simix/smx_global.cpp +++ b/src/simix/smx_global.cpp @@ -34,7 +34,7 @@ void (*SMPI_switch_data_segment)(simgrid::s4u::ActorPtr) = nullptr; namespace simgrid { namespace simix { -config::Flag cfg_verbose_exit{"debug/verbose-exit", {"verbose-exit"}, "Display the actor status at exit", true}; +config::Flag cfg_verbose_exit{"debug/verbose-exit", {"verbose-exit"}, "Display the actor status at exit", true}; } // namespace simix } // namespace simgrid -- 2.20.1