X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/d81d8f30c940ed28ed4b2f0e3d8107f1a43093c8..1ab75e7183cfd90b19748fbc0cfc3a7418f3f8ad:/examples/msg/mc/centralized.tesh

diff --git a/examples/msg/mc/centralized.tesh b/examples/msg/mc/centralized.tesh
index 1e14eb3dbf..f5b08c3382 100644
--- a/examples/msg/mc/centralized.tesh
+++ b/examples/msg/mc/centralized.tesh
@@ -1,6 +1,6 @@
 #! ./tesh
 
-$ ${bindir:=.}/centralized
+$ ${bindir:=.}/centralized --cfg=model-check:1
 > [Fafard:client:(2) 0.000000] [centralized/INFO] Ask the request
 > [Boivin:client:(3) 0.000000] [centralized/INFO] Ask the request
 > [TeX:client:(4) 0.000000] [centralized/INFO] Ask the request