-/* Copyright (c) 2019-2022. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2019-2023. 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. */
XBT_INFO("%d activities remain pending", pending_execs_count);
}
- free(pending_execs);
+ xbt_free(pending_execs);
}
int main(int argc, char* argv[])