X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/0d1c9172064ba746ed23e4e36146a3605491f5fa..8ebfad14d820fc1220036ea6a6bb299d96e214f5:/examples/msg/mc/example2_liveness_without_cycle.c

diff --git a/examples/msg/mc/example2_liveness_without_cycle.c b/examples/msg/mc/example2_liveness_without_cycle.c
index 519933c5dd..a53a5f7056 100644
--- a/examples/msg/mc/example2_liveness_without_cycle.c
+++ b/examples/msg/mc/example2_liveness_without_cycle.c
@@ -90,8 +90,8 @@ int main(int argc, char *argv[])
   init();
   yyparse();
   automaton = get_automaton();
-  xbt_propositional_symbol_t ps = xbt_new_propositional_symbol(automaton,"p", &predP); 
-  ps = xbt_new_propositional_symbol(automaton,"q", &predQ); 
+  xbt_new_propositional_symbol(automaton,"p", &predP); 
+  xbt_new_propositional_symbol(automaton,"q", &predQ); 
       
   //display_automaton();