X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/49e85177c669d793e84242983a1b1f430e47184e..c2084e41e890120e8b1f254137080bd647b48183:/examples/msg/mc/bugged2_liveness.h

diff --git a/examples/msg/mc/bugged2_liveness.h b/examples/msg/mc/bugged2_liveness.h
deleted file mode 100644
index ec62e315aa..0000000000
--- a/examples/msg/mc/bugged2_liveness.h
+++ /dev/null
@@ -1,15 +0,0 @@
-/* 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