index 43994e720a39b775c9e8821eb8650b3c31733b4a..4aa31e89fe98d3880e951bc255e29f2399cd96d7 100644 (file)
ticv02yyparse();
ticv02yylex_destroy();
#else
- printf("NO TIC VERSION DEFINED!\n");
+ fprintf(stderr, "NO TIC VERSION DEFINED!\n"); // avoid utf-8
#endif
printf("%c\n", tp.framedelims[1]);