Change specification for the sake of ungetc on hypothetic platforms.

diff --git a/lib/freadptr.h b/lib/freadptr.h
index 7697970703cc6f34ce4d16bb019be23cebf081c2..3620a143721dadffdb5bf1d8bbe209a91ef9c7b4 100644 (file)
--- a/lib/freadptr.h
+++ b/lib/freadptr.h
@@ -23,8 +23,9 @@ extern "C" {
 
 /* Assuming the stream STREAM is open for reading:
    Return a pointer to the input buffer of STREAM.
-   If freadahead (STREAM) > 0, the result is a pointer to freadahead (STREAM)
-   bytes.
+   If freadahead (STREAM) > 0, the result is either a pointer to
+   freadahead (STREAM) bytes, or NULL.  The latter case can happen after
+   use of 'ungetc (..., STREAM)'.
    If freadahead (STREAM) == 0, the result is not usable; it may be NULL.
    In this case, you should use getc (STREAM), fgetc (STREAM), or
    fread (..., STREAM) to access the input from STREAM.