extern xbt_automaton_t automaton;
-int r=1;
+int r=0;
int e=1;
int d=1;
init();
yyparse();
automaton = get_automaton();
- xbt_propositional_symbol_t ps = xbt_new_propositional_symbol(automaton,"r", &predR);
- ps = xbt_new_propositional_symbol(automaton,"e", &predE);
- ps = xbt_new_propositional_symbol(automaton,"d", &predD);
+ xbt_new_propositional_symbol(automaton,"r", &predR);
+ xbt_new_propositional_symbol(automaton,"e", &predE);
+ xbt_new_propositional_symbol(automaton,"d", &predD);
//display_automaton();