Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
make an unused parameter as such
authorMartin Quinson <martin.quinson@loria.fr>
Sun, 24 Jun 2018 00:15:35 +0000 (02:15 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Sun, 24 Jun 2018 00:15:35 +0000 (02:15 +0200)
include/simgrid/s4u/Actor.hpp

index 4a43307..46e268b 100644 (file)
@@ -328,7 +328,8 @@ public:
   XBT_ATTRIB_DEPRECATED_v323("Please use Actor::get_kill_time()") double getKillTime() { return get_kill_time(); }
   XBT_ATTRIB_DEPRECATED_v323("Please use Actor::by_pid()") static ActorPtr byPid(aid_t pid) { return by_pid(pid); }
   XBT_ATTRIB_DEPRECATED_v323("Please use Actor::kill_all()") static void killAll() { kill_all(); }
-  XBT_ATTRIB_DEPRECATED_v323("Please use Actor::kill_all() with no parameter") static void killAll(int resetPid)
+  XBT_ATTRIB_DEPRECATED_v323("Please use Actor::kill_all() with no parameter") static void killAll(
+      int XBT_ATTRIB_UNUSED resetPid)
   {
     kill_all();
   }