X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7f6f97c1c368c82eca073cc851218481d99b009b..e6ca184e99d50d0ee8fe405a83ee5277e2ecfce6:/src/mc/ModelChecker.hpp diff --git a/src/mc/ModelChecker.hpp b/src/mc/ModelChecker.hpp index cd5021bb3c..47790fb4ff 100644 --- a/src/mc/ModelChecker.hpp +++ b/src/mc/ModelChecker.hpp @@ -31,7 +31,7 @@ class ModelChecker { struct pollfd fds_[2]; /** String pool for host names */ // TODO, use std::unordered_set with heterogeneous comparison lookup (C++14) - xbt_dict_t /* */ hostnames_; + xbt_dict_t /* */ hostnames_; // This is the parent snapshot of the current state: PageStore page_store_; std::unique_ptr process_;