X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b95fe69db779388252bffaa53909bd1bf106139d..b77b96a6fdd5563137a78a3d678bcbfa8bda66db:/src/mc/mc_private.h

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index cc11df95ea..fcf5333d97 100644
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -304,7 +304,7 @@ extern int _surf_mc_checkpoint;
 extern char* _surf_mc_property_file;
 extern int _surf_mc_timeout;
 extern int _surf_mc_max_depth;
-extern int _surf_mc_stateful;
+extern int _surf_mc_visited;
 
 /****** Core dump ******/