Template implem of cond_timedwait in sthread

[simgrid.git] / src / kernel / activity / MailboxImpl.hpp

diff --git a/src/kernel/activity/MailboxImpl.hpp b/src/kernel/activity/MailboxImpl.hpp
index 9d30a4e13e6efa0af8604d66d922a3bcea15ad77..172bda4cee6ef128f41b66b1ca83f1885e7bb226 100644 (file)
--- a/src/kernel/activity/MailboxImpl.hpp
+++ b/src/kernel/activity/MailboxImpl.hpp
@@ -20,18 +20,10 @@ class MailboxImpl {
   s4u::Mailbox piface_;
   std::string name_;
   actor::ActorImplPtr permanent_receiver_; // actor to which the mailbox is attached
-#if SIMGRID_HAVE_STATEFUL_MC
-  /* Using deque here is faster in benchmarks, but break the state equality heuristic of Liveness checking on Debian
-   * testing. This would desserve a proper investiguation, but simply use a single-sided list for the time being. HACK.
-   */
-  std::list<CommImplPtr> comm_queue_;
-  // messages already received in the permanent receive mode
-  std::list<CommImplPtr> done_comm_queue_;
-#else
+
   std::deque<CommImplPtr> comm_queue_;
   // messages already received in the permanent receive mode
   std::deque<CommImplPtr> done_comm_queue_;
-#endif
 
   friend s4u::Engine;
   friend s4u::Mailbox;