X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/15c81e44412415173de220954a453019c68714cd..595e59c568ff5f8510de201bfd800951cdc2adcb:/examples/msg/mc/bugged2_liveness.h

diff --git a/examples/msg/mc/bugged2_liveness.h b/examples/msg/mc/bugged2_liveness.h
index 43b271bb33..d9ad041d7e 100644
--- a/examples/msg/mc/bugged2_liveness.h
+++ b/examples/msg/mc/bugged2_liveness.h
@@ -1,17 +1,12 @@
-#ifndef _BUGGED2_LIVENESS_H
-#define _BUGGED2_LIVENESS_H
+/* Copyright (c) 2012, 2014. The SimGrid Team.
+ * All rights reserved.                                                     */
 
-int yyparse(void);
-int yywrap(void);
-int yylex(void);
+/* 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. */
 
-int predPready(void);
-int predCready(void);
-int predConsume(void);
-int predProduce(void);
+#ifndef _BUGGED2_LIVENESS_H
+#define _BUGGED2_LIVENESS_H
 
-int coordinator(int argc, char *argv[]);
-int producer(int argc, char *argv[]);
-int consumer(int argc, char *argv[]);
+int predCS(void);
 
 #endif