src/stdio/getchar.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

#if 0

#include <stdio.h>

/** read a character from stdin **/

int getchar(void)
{
	/*
	RETURN_SUCCESS(the next character);
	RETURN_FAILURE(CONSTANT(EOF));
	*/
	return getc(stdin);
}

/***
reads the next character from ARGUMENT(stdin).
***/

/*
STDC(1)
*/


#endif