From 41abcf0a2ff17ef20ab86d05a5e5f959bd5fd269 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 6 Dec 2018 16:59:27 +0100
Subject: [PATCH 1/1] Remove unused build option.

---
 process.h | 13 ++-----------
 1 file changed, 2 insertions(+), 11 deletions(-)

diff --git a/process.h b/process.h
index 55ee792..f01c3c6 100644
--- a/process.h
+++ b/process.h
@@ -1,18 +1,9 @@
 #ifndef PROCESS_H
 #define PROCESS_H
 
-#define USE_UNORDERED_MAP 1
-//#undef USE_UNORDERED_MAP
-
 #include <algorithm>
 #include <atomic>
-#ifdef USE_UNORDERED_MAP
-#  include <unordered_map>
-#  define MAP_TEMPLATE std::unordered_map
-#else
-#  include <map>
-#  define MAP_TEMPLATE std::map
-#endif
+#include <unordered_map>
 #include <vector>
 #include <simgrid/msg.h>
 #include <xbt/log.h>
@@ -102,7 +93,7 @@ private:
 
     static std::atomic<int> convergence_counter;
 
-    typedef MAP_TEMPLATE<msg_host_t, neighbor*> rev_neigh_type;
+    typedef std::unordered_map<msg_host_t, neighbor*> rev_neigh_type;
     neigh_type neigh;           // list of neighbors (do not alter
                                 // after construction!)
     rev_neigh_type rev_neigh;   // map msg_host_t -> neighbor
-- 
2.39.5