From: Augustin Degomme <adegomme@users.noreply.github.com>
Date: Thu, 28 May 2020 15:29:14 +0000 (+0200)
Subject: that's not a double
X-Git-Tag: v3.26~574
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/2c9526a3d18e373a7fbeb6b7ba74b2597ada5d8a

that's not a double
---

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<double> cfg_verbose_exit{"debug/verbose-exit", {"verbose-exit"}, "Display the actor status at exit", true};
+config::Flag<bool> cfg_verbose_exit{"debug/verbose-exit", {"verbose-exit"}, "Display the actor status at exit", true};
 } // namespace simix
 } // namespace simgrid