diff options
author | Michael I. Bushnell <mib@gnu.org> | 1996-04-18 20:07:33 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1996-04-18 20:07:33 +0000 |
commit | d31ce7faa56d96880dc2f09208b11da4c31e5c41 (patch) | |
tree | 46a055f4b6c0b0c4125f43330c02bd3420178e39 /libpager | |
parent | be04af022a45ca8c8a8d1afd619acef35640622c (diff) |
(pager_offer_page): doc fix
Diffstat (limited to 'libpager')
-rw-r--r-- | libpager/offer-page.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libpager/offer-page.c b/libpager/offer-page.c index 0d16a418..a6666087 100644 --- a/libpager/offer-page.c +++ b/libpager/offer-page.c @@ -30,8 +30,8 @@ pager_offer_page (struct pager *p, { char *pm_entry; - /* The caller expects this to get written back, but if the page is - currently resident then our request will get ignored, so flush it + /* The caller expects this to get written back, then our request + will get ignored and the precious bit won't get set, so flush it first */ if (precious) { |