-#line 67 "parserPromela.lex"
-{ printf("%s",xbt_automaton_parser_text);
- yylval.string=(char *)malloc(strlen(xbt_automaton_parser_text)+1);
- sscanf(xbt_automaton_parser_text,"%s",yylval.string);
- return (ID); }
+#line 63 "parserPromela.lex"
+{ yylval.string=(char *)malloc(strlen(xbt_automaton_parser_text)+1);
+ sscanf(xbt_automaton_parser_text,"%s",yylval.string);
+ return (ID); }