mc_api::get_automaton_state() defined. It is called in LivenessChecker::run()

[simgrid.git] / src / mc / inspect / LocationList.hpp

diff --git a/src/mc/inspect/LocationList.hpp b/src/mc/inspect/LocationList.hpp
index ea30d9059a4954082d5830e0d0957cbcfc12f87d..461a4993e807656080fd32889e1b59ca02b8a2bc 100644 (file)
--- a/src/mc/inspect/LocationList.hpp
+++ b/src/mc/inspect/LocationList.hpp
@@ -22,7 +22,7 @@ namespace dwarf {
 /** A DWARF expression with optional validity constraints */
 class LocationListEntry {
 public:
-  typedef simgrid::xbt::Range<std::uint64_t> range_type;
+  using range_type = simgrid::xbt::Range<std::uint64_t>;
 
 private:
   DwarfExpression expression_;
@@ -41,7 +41,7 @@ public:
   bool valid_for_ip(unw_word_t ip) const { return range_.contain(ip); }
 };
 
-typedef std::vector<LocationListEntry> LocationList;
+using LocationList = std::vector<LocationListEntry>;
 
 /** Location of some variable in memory
  *