MC: Support Mutexes in DPOR

[simgrid.git] / examples / cpp / mc-centralized-mutex / s4u-mc-centralized-mutex.cpp

diff --git a/examples/cpp/mc-centralized-mutex/s4u-mc-centralized-mutex.cpp b/examples/cpp/mc-centralized-mutex/s4u-mc-centralized-mutex.cpp
index 8614d2d..281efc1 100644 (file)
--- a/examples/cpp/mc-centralized-mutex/s4u-mc-centralized-mutex.cpp
+++ b/examples/cpp/mc-centralized-mutex/s4u-mc-centralized-mutex.cpp
@@ -1,8 +1,7 @@
-/* Copyright (c) 2010-2022. The SimGrid Team.
- * All rights reserved.                                                     */
+/* Copyright (c) 2010-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. */
+ * under the terms of the license (GNU LGPL) which comes with this package.   */
 
 /***************** Centralized Mutual Exclusion Algorithm *********************/
 /* This example implements a centralized mutual exclusion algorithm.          */