From bb074ee52aecad7d1f6d089ff7cd78283673240b Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Mon, 14 Aug 2017 23:30:31 +0200
Subject: [PATCH] Mark unused attribute as unused.

---
 examples/s4u/app-bittorrent/s4u_tracker.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/s4u/app-bittorrent/s4u_tracker.hpp b/examples/s4u/app-bittorrent/s4u_tracker.hpp
index 6aff63d9c6..591233f9e3 100644
--- a/examples/s4u/app-bittorrent/s4u_tracker.hpp
+++ b/examples/s4u/app-bittorrent/s4u_tracker.hpp
@@ -22,7 +22,7 @@ public:
 };
 
 class TrackerAnswer {
-  int interval;         // how often the peer should contact the tracker (unused for now)
+  XBT_ATTRIB_UNUSED int interval; // how often the peer should contact the tracker (unused for now)
   std::set<int>* peers; // the peer list the peer has asked for.
 public:
   explicit TrackerAnswer(int interval) : interval(interval) { peers = new std::set<int>; }
-- 
2.20.1