-/* Copyright (c) 2009-2015. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2009-2017. 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. */
#include "private.h"
-#include <xbt.h>
-#include <xbt/replay.h>
+#include "xbt/replay.h"
#include <unordered_map>
#include <vector>
static void action_finalize(const char *const *action)
{
- /* do nothing */
+ /* Nothing to do */
}
static void action_comm_size(const char *const *action)
}
smpi_mpi_waitall(count_requests, requests, status);
}
+ delete get_reqq_self();
active_processes--;
if(active_processes==0){