diff options
Diffstat (limited to 'console/pager.c')
| -rw-r--r-- | console/pager.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/console/pager.c b/console/pager.c index 818e49d7..05074a75 100644 --- a/console/pager.c +++ b/console/pager.c @@ -125,7 +125,6 @@ pager_dropweak (struct user_pager_info *upi) void user_pager_init (void) { - pthread_t thread; error_t err; /* Create the pager bucket, and start to serve paging requests. */ |