Add the model-checker to the build tree. It's not used yet

[simgrid.git] / doc / gtut-files / 01-bones.c

diff --git a/doc/gtut-files/01-bones.c b/doc/gtut-files/01-bones.c
index 85ff3e2695414c8297a58ff9fdfdef5fa5ec069d..ea9a3c0bf2e2b3b242976f90dcada6a3d4e57eba 100644 (file)
--- a/doc/gtut-files/01-bones.c
+++ b/doc/gtut-files/01-bones.c
@@ -1,3 +1,9 @@
+/* Copyright (c) 2006, 2010. 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 <gras.h>
 
 int client(int argc, char *argv[]) {