2007-10-15 11:42:17 +02:00
|
|
|
#include <stdio.h>
|
2006-09-07 16:14:53 +02:00
|
|
|
void rewind(FILE* file)
|
|
|
|
{
|
2016-05-19 14:15:22 +02:00
|
|
|
if(!file)
|
|
|
|
{
|
|
|
|
errno = E_INVALIDPTR;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2018-03-12 21:41:06 +01:00
|
|
|
file->ungetc_buf = EOF;
|
2006-09-07 16:14:53 +02:00
|
|
|
file->filepos=0;
|
2016-05-19 14:15:22 +02:00
|
|
|
}
|