getc.c

Go to the documentation of this file.

#include <stdio.h>
#include <stdlib.h>
 
#include "user/common/file.h"
#include "user/common/syscalls.h"
 
int getc(FILE* stream)
{
    return fgetc(stream);
}