X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/4586126e5a968926d9c937fb5b6e39eff37a2bd3..0c13871d73e933c1847faf8debea7b7745a3ff44:/examples/msg/mc/bugged1.c diff --git a/examples/msg/mc/bugged1.c b/examples/msg/mc/bugged1.c index c90257ac9a..585a1f3cbc 100644 --- a/examples/msg/mc/bugged1.c +++ b/examples/msg/mc/bugged1.c @@ -1,3 +1,10 @@ +/* Copyright (c) 2012. 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. */ + + /******************** Non-deterministic message ordering *********************/ /* Server assumes a fixed order in the reception of messages from its clients */ /* which is incorrect because the message ordering is non-deterministic */ @@ -59,8 +66,6 @@ int main(int argc, char *argv[]) MSG_main(); - MSG_clean(); - return 0; }