-/* Copyright (c) 2004-2017. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2004-2018. The SimGrid Team. All rights reserved. */
/* 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. */
sg_actor_kill(actor);
}
+void MSG_process_set_kill_time(sg_actor_t actor, double kill_time)
+{
+ sg_actor_set_kill_time(actor, kill_time);
+}
+
/* ************************** NetZones *************************** */
sg_netzone_t MSG_zone_get_root()
{