#include <cstdio>
  int ungetc( int ch, FILE *stream );

The function ungetc() puts the character ch back in stream.