Merge branch 'master' of github.com:simgrid/simgrid into dev_12

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

diff --git a/src/mc/mc_record.hpp b/src/mc/mc_record.hpp
index b52aee4..39d960e 100644 (file)
--- a/src/mc/mc_record.hpp
+++ b/src/mc/mc_record.hpp
@@ -25,7 +25,7 @@
 namespace simgrid {
 namespace mc {
 
-typedef std::vector<Transition> RecordTrace;
+using RecordTrace = std::vector<Transition>;
 
 /** Convert a string representation of the path into an array of `simgrid::mc::Transition`
  */