kill SIMIX_comm_isend(), use simcall_HANDLER_comm_isend() directly

[simgrid.git] / src / mc / mc_liveness.h

diff --git a/src/mc/mc_liveness.h b/src/mc/mc_liveness.h
index a4b428f5296a5f7301e87dddbb6bf9a83a87ec99..1c0f58c1d1bab1c6c633386ade726ba7bfd1658d 100644 (file)
--- a/src/mc/mc_liveness.h
+++ b/src/mc/mc_liveness.h
@@ -1,4 +1,4 @@
-/* Copyright (c) 2007-2014. The SimGrid Team.
+/* Copyright (c) 2007-2015. The SimGrid Team.
  * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it