X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7a8cd62135619ad52e05ae1c929ef07e166e4260..ea66702ca647cf2e57f4680aa88f8e0eda6011bc:/examples/msg/mc/bugged2_liveness.h diff --git a/examples/msg/mc/bugged2_liveness.h b/examples/msg/mc/bugged2_liveness.h index b44121eff7..d9ad041d7e 100644 --- a/examples/msg/mc/bugged2_liveness.h +++ b/examples/msg/mc/bugged2_liveness.h @@ -1,9 +1,12 @@ +/* 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 _BUGGED2_LIVENESS_H #define _BUGGED2_LIVENESS_H int predCS(void); -int coordinator(int argc, char *argv[]); -int client(int argc, char *argv[]); - #endif