diff options
author | Miles Bader <miles@gnu.org> | 1997-07-23 17:44:02 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1997-07-23 17:44:02 +0000 |
commit | ff5d00776d51e850eac8c2d51f8c960b745f0255 (patch) | |
tree | b8eb57ef0abf069b07f56b43b582154e70af1870 /libpager/priv.h | |
parent | a8069b7d7c1dfac308db0c562ffaf74bdea585a1 (diff) |
(main):
Failure to map MAPPED_TIME is a fatal error.
Include <error.h>.
Diffstat (limited to 'libpager/priv.h')
0 files changed, 0 insertions, 0 deletions