model-checker : display address of communication in Wait request if verbose log

[simgrid.git] / examples / msg / mc / chord / chord_liveness.h

diff --git a/examples/msg/mc/chord/chord_liveness.h b/examples/msg/mc/chord/chord_liveness.h
deleted file mode 100644 (file)
index e522b77..0000000
--- a/examples/msg/mc/chord/chord_liveness.h
+++ /dev/null
@@ -1,6 +0,0 @@
-#ifndef _CHORD_LIVENESS_H
-#define _CHORD_LIVENESS_H
-
-int predJoin(void);
-
-#endif