summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1994-01-22 00:40:12 +0000
committerMichael I. Bushnell <mib@gnu.org>1994-01-22 00:40:12 +0000
commit8a8a5f4491f73217b576b8f80bbd8e6f3cae54a3 (patch)
treebc5cdde0976d75c51d09fbdbd6f080c9d6247482
parentf1505c1370ac413779177a7222e7d6a6d42e2b5b (diff)
Formerly pager.h.~3~
-rw-r--r--libpager/pager.h2
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);