Use simgrid::Host instead of xbt_dictelt_t for root main object

[simgrid.git] / src / mc / ModelChecker.cpp

diff --git a/src/mc/ModelChecker.cpp b/src/mc/ModelChecker.cpp
index 5c947d2..6e73a2d 100644 (file)
--- a/src/mc/ModelChecker.cpp
+++ b/src/mc/ModelChecker.cpp
@@ -63,6 +63,7 @@ ModelChecker::~ModelChecker()
 
 const char* ModelChecker::get_host_name(const char* hostname)
 {
+  // FIXME, simgrid::Host
   // Lookup the host name in the dictionary (or create it):
   xbt_dictelm_t elt = xbt_dict_get_elm_or_null(this->hostnames_, hostname);
   if (!elt) {