[mc] Remove the --cfg=model-check:1 flag

[simgrid.git] / examples / msg / mc / bugged1_liveness.h

diff --git a/examples/msg/mc/bugged1_liveness.h b/examples/msg/mc/bugged1_liveness.h
index 6ca2dfcd6fcae23e74e90b01a7317e2f3c24bfce..7246422f64d13859c6cb0dd50562ece22e03380f 100644 (file)
--- a/examples/msg/mc/bugged1_liveness.h
+++ b/examples/msg/mc/bugged1_liveness.h
@@ -1,3 +1,9 @@
+/* Copyright (c) 2012, 2014. 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. */
+
 #ifndef _BUGGED1_LIVENESS_H
 #define _BUGGED1_LIVENESS_H