model-checker : change printf for size_t variables

[simgrid.git] / examples / msg / mc / example_liveness_without_cycle.h

diff --git a/examples/msg/mc/example_liveness_without_cycle.h b/examples/msg/mc/example_liveness_without_cycle.h
index 1ff4c99..1667c45 100644 (file)
--- a/examples/msg/mc/example_liveness_without_cycle.h
+++ b/examples/msg/mc/example_liveness_without_cycle.h
@@ -1,5 +1,5 @@
-#ifndef _EXAMPLE_AUTOMATON_H
-#define _EXAMPLE_AUTOMATON_H
+#ifndef _EXAMPLE_LIVENESS_WITHOUT_CYCLE_H
+#define _EXAMPLE_LIVENESS_WITHOUT_CYCLE_H

 
 int yyparse(void);
 int yywrap(void);
 
 int yyparse(void);
 int yywrap(void);