X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/79f4c4c467150b3bea841b968cabd629e9d9282a..17288b1b642b369a5377677875d08a82d37a5f67:/src/mc/Transition.hpp

diff --git a/src/mc/Transition.hpp b/src/mc/Transition.hpp
index a0a2813b08..1e9a58a026 100644
--- a/src/mc/Transition.hpp
+++ b/src/mc/Transition.hpp
@@ -1,4 +1,4 @@
-/* Copyright (c) 2015-2019. The SimGrid Team.
+/* Copyright (c) 2015-2021. The SimGrid Team.
  * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it
@@ -7,6 +7,8 @@
 #ifndef SIMGRID_MC_TRANSITION_HPP
 #define SIMGRID_MC_TRANSITION_HPP
 
+#include <string>
+
 namespace simgrid {
 namespace mc {
 
@@ -30,7 +32,10 @@ public:
    *
    * * random can produce different values.
    */
-  int argument_ = 0;
+  int times_considered_ = 0;
+
+  /* Textual representation of the transition, to display backtraces */
+  std::string textual;
 };
 
 } // namespace mc