diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-03-26 21:24:37 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-03-26 21:24:37 +0000 |
| commit | 29e0505417e18ade0995ba67d299c3e666361108 (patch) | |
| tree | 985c96081fca61655a9ea037642960a0c0982c75 | |
| parent | 875579723a6b668f76d6167aa676a569b2d1a346 (diff) | |
(_pager_do_write_request): Delete unused label `out'.
| -rw-r--r-- | libpager/data-return.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/libpager/data-return.c b/libpager/data-return.c index 709f9de2..7cba17b8 100644 --- a/libpager/data-return.c +++ b/libpager/data-return.c @@ -181,7 +181,6 @@ _pager_do_write_request (mach_port_t object, mutex_unlock (&p->interlock); - out: ports_port_deref (p); return 0; |