From 420e2b268738e54f8a1a5b64979502a805943a70 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Sat, 18 Aug 2018 13:37:56 +0200
Subject: [PATCH] document another s4u::Actor method

---
 include/simgrid/s4u/Actor.hpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/simgrid/s4u/Actor.hpp b/include/simgrid/s4u/Actor.hpp
index fd9a6a4751..2d2c7e5346 100644
--- a/include/simgrid/s4u/Actor.hpp
+++ b/include/simgrid/s4u/Actor.hpp
@@ -258,6 +258,7 @@ public:
    */
   void kill();
 
+  /** Kill an actor from its ID */
   static void kill(aid_t pid);
 
   /** Retrieves the actor that have the given PID (or nullptr if not existing) */
-- 
2.20.1