-/* Copyright (c) 2013-2021. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2013-2022. 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. */
static void print_node_id(const_node_t node)
{
- XBT_INFO(" Id: %i '%08x' ", node->id, (unsigned)node->id);
+ XBT_INFO(" Id: %i '%08x'", node->id, (unsigned)node->id);
}
/* Print the node namespace set */
simgrid_init(&argc, argv);
xbt_assert(argc > 2,
"Usage: %s [-nb_bits=n] [-timeout=t] platform_file deployment_file\n"
- "\tExample: %s ../msg_platform.xml pastry10.xml\n",
+ "\tExample: %s ../platform.xml pastry10.xml\n",
argv[0], argv[0]);
char** options = &argv[1];