diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-01-22 00:40:12 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-01-22 00:40:12 +0000 |
| commit | 8a8a5f4491f73217b576b8f80bbd8e6f3cae54a3 (patch) | |
| tree | bc5cdde0976d75c51d09fbdbd6f080c9d6247482 /libpager/pager.h | |
| parent | f1505c1370ac413779177a7222e7d6a6d42e2b5b (diff) | |
Formerly pager.h.~3~
Diffstat (limited to 'libpager/pager.h')
| -rw-r--r-- | libpager/pager.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libpager/pager.h b/libpager/pager.h index 83356add..2dca1e6f 100644 --- a/libpager/pager.h +++ b/libpager/pager.h @@ -148,5 +148,5 @@ pager_report_extent (struct user_pager_info *pager, /* The user must define this function. This is called when a pager is being deallocated after all extant send rights have been destroyed. */ -error_t +void pager_clear_user_data (struct user_pager_info *pager); |