From be012d7d8dcfb49f275099ffe24b35356e0dc61d Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 11 Jan 2019 13:24:14 +0100
Subject: [PATCH] Kill an obsolete FIXME.

---
 src/instr/jedule/jedule_platform.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/instr/jedule/jedule_platform.cpp b/src/instr/jedule/jedule_platform.cpp
index 47919e0e22..e331627786 100644
--- a/src/instr/jedule/jedule_platform.cpp
+++ b/src/instr/jedule/jedule_platform.cpp
@@ -50,8 +50,6 @@ void Container::add_resources(std::vector<sg_host_t> hosts)
   this->children.clear();
   this->last_id_ = 0;
 
-  //FIXME do we need to sort?: xbt_dynar_sort_strings(host_names);
-
   for (auto const& host : hosts) {
     const char *host_name = sg_host_get_name(host);
     this->name2id.insert({host_name, this->last_id_});
-- 
2.20.1