summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1996-03-26 21:24:37 +0000
committerMichael I. Bushnell <mib@gnu.org>1996-03-26 21:24:37 +0000
commit29e0505417e18ade0995ba67d299c3e666361108 (patch)
tree985c96081fca61655a9ea037642960a0c0982c75
parent875579723a6b668f76d6167aa676a569b2d1a346 (diff)
(_pager_do_write_request): Delete unused label `out'.
-rw-r--r--libpager/data-return.c1
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;