Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot//simgrid/simgrid

[simgrid.git] / examples / msg / mc / test_snapshot.c

diff --git a/examples/msg/mc/test_snapshot.c b/examples/msg/mc/test_snapshot.c
index 865ece3..13ca8d0 100644 (file)
--- a/examples/msg/mc/test_snapshot.c
+++ b/examples/msg/mc/test_snapshot.c
@@ -3,7 +3,7 @@
 #include "xbt/automaton.h"
 #include "xbt/automatonparse_promela.h"
 #include "test_snapshot.h"
-#include "y.tab.c"
+//#include "y.tab.c"
 #include <stdlib.h>
 
 XBT_LOG_NEW_DEFAULT_CATEGORY(test_snapshot, "my log messages");