diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-06-20 17:53:17 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-06-20 17:53:17 +0000 |
| commit | 0f960f757827b7e3a9f2a6dd3bb56a9aff0d9c1d (patch) | |
| tree | e0821ee5bcfcefa09fe5933e11ee3d42ae2645aa | |
| parent | 57eb6c51833c591d9f11b13ccac45497cc7de4ab (diff) | |
(pager_shutdown):
| -rw-r--r-- | libpager/pager-shutdown.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/libpager/pager-shutdown.c b/libpager/pager-shutdown.c index f850f17d..b729b3f2 100644 --- a/libpager/pager-shutdown.c +++ b/libpager/pager-shutdown.c @@ -22,8 +22,6 @@ void pager_shutdown (struct pager *p) { - mach_port_t port; - /* Sync and flush pager */ pager_sync (p, 1); pager_flush (p, 1); |