Please PVS

[simgrid.git] / examples / s4u / app-bittorrent / s4u-tracker.hpp

diff --git a/examples/s4u/app-bittorrent/s4u-tracker.hpp b/examples/s4u/app-bittorrent/s4u-tracker.hpp
index a69d8a6b32f033a19d52a0f191a4f0555a582bfe..8fc72ce6dd14ef680543f402d801bd052fbd3dea 100644 (file)
--- a/examples/s4u/app-bittorrent/s4u-tracker.hpp
+++ b/examples/s4u/app-bittorrent/s4u-tracker.hpp
@@ -4,8 +4,8 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#ifndef BITTORRENT_TRACKER_HPP_
-#define BITTORRENT_TRACKER_HPP_
+#ifndef BITTORRENT_TRACKER_HPP
+#define BITTORRENT_TRACKER_HPP
 
 #include "s4u-bittorrent.hpp"
 #include <set>
@@ -32,6 +32,7 @@ public:
 
 class Tracker {
   double deadline;
+  simgrid::xbt::random::XbtRandom random{42};
   simgrid::s4u::Mailbox* mailbox;
   std::set<int> known_peers;