use xprintf instead of printf

This commit is contained in:
Yuichi Nishiwaki 2014-06-25 17:24:42 +09:00
parent 72db056f1e
commit 6eec3629e9
1 changed files with 2 additions and 2 deletions

View File

@ -440,8 +440,8 @@ pic_printf(pic_state *pic, const char *fmt, ...)
va_end(ap);
printf("%s", pic_str_cstr(str));
fflush(stdout);
xprintf("%s", pic_str_cstr(str));
xfflush(xstdout);
}
static pic_value