1989-05-30 13:34:25 +00:00
|
|
|
/*
|
|
|
|
* putc.c - print (or buffer) one character
|
|
|
|
*/
|
1994-06-24 14:02:31 +00:00
|
|
|
/* $Id$ */
|
1989-05-30 13:34:25 +00:00
|
|
|
|
2018-06-21 20:33:47 +00:00
|
|
|
#include <stdio.h>
|
1989-05-30 13:34:25 +00:00
|
|
|
|
2018-06-21 20:33:47 +00:00
|
|
|
int(putc)(int c, FILE* stream)
|
1989-05-30 13:34:25 +00:00
|
|
|
{
|
1989-12-18 15:04:14 +00:00
|
|
|
return putc(c, stream);
|
1989-05-30 13:34:25 +00:00
|
|
|
}
|