[mc] Terminate crashing applications too.

[simgrid.git] / src / mc / Transition.hpp

diff --git a/src/mc/Transition.hpp b/src/mc/Transition.hpp
index 6b616cdfe428a470022dbd7f43f184809734121a..1e9a58a0264a7e4e076ebf4378fdfc2a70d2785b 100644 (file)
--- a/src/mc/Transition.hpp
+++ b/src/mc/Transition.hpp
@@ -7,6 +7,8 @@
 #ifndef SIMGRID_MC_TRANSITION_HPP
 #define SIMGRID_MC_TRANSITION_HPP
 
+#include <string>
+
 namespace simgrid {
 namespace mc {
 
@@ -33,7 +35,7 @@ public:
   int times_considered_ = 0;
 
   /* Textual representation of the transition, to display backtraces */
-  char textual[200];
+  std::string textual;
 };
 
 } // namespace mc