From 2319c71fd8f21f5d2ed4b1e3f8b2922c2705ffcb Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 26 Dec 2019 12:45:19 +0100
Subject: [PATCH] Field is not used (and apparently has never been used).

---
 include/simgrid/jedule/jedule_platform.hpp | 1 -
 src/instr/jedule/jedule_platform.cpp       | 1 -
 2 files changed, 2 deletions(-)

diff --git a/include/simgrid/jedule/jedule_platform.hpp b/include/simgrid/jedule/jedule_platform.hpp
index faa128bd06..007e1c1a76 100644
--- a/include/simgrid/jedule/jedule_platform.hpp
+++ b/include/simgrid/jedule/jedule_platform.hpp
@@ -23,7 +23,6 @@ public:
 
 private:
   int last_id_   = 0;
-  int is_lowest_ = 0;
 
 public:
   std::string name;
diff --git a/src/instr/jedule/jedule_platform.cpp b/src/instr/jedule/jedule_platform.cpp
index 668eee3083..a0cd7dd352 100644
--- a/src/instr/jedule/jedule_platform.cpp
+++ b/src/instr/jedule/jedule_platform.cpp
@@ -37,7 +37,6 @@ void Container::add_child(jed_container_t child)
 
 void Container::add_resources(std::vector<sg_host_t> hosts)
 {
-  this->is_lowest_ = 1;
   this->children.clear();
   this->last_id_ = 0;
 
-- 
2.20.1