Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : change printf for size_t variables
[simgrid.git] / examples / msg / mc / example_liveness_without_cycle.h
index 1ff4c99..1667c45 100644 (file)
@@ -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);