Fix problem with getdate on mingw32 reported by Simon Josefsson
[gnulib.git] / lib / close-stream.h
1 #include <stdio.h>
2 int close_stream (FILE *stream);