model-checker : really (?) fix SIMCALL_MUTEX_LOCK and UNLOCK with MC

[simgrid.git] / examples / smpi / mc / hostfile_send_deterministic

diff --git a/examples/smpi/mc/hostfile_send_deterministic b/examples/smpi/mc/hostfile_send_deterministic
deleted file mode 100644 (file)
index 4ae7dab..0000000
--- a/examples/smpi/mc/hostfile_send_deterministic
+++ /dev/null
@@ -1,3 +0,0 @@
-node-1.acme.org
-node-2.acme.org
-node-3.acme.org