From a9eb3e9765a21f9903705e2b9f46694529af8155 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Fri, 6 Nov 2015 10:39:53 +0100
Subject: Remove unused variables

* console/pager.c (user_pager_init): Remove unused variables.
* ext2fs/pager.c (create_disk_pager): Likewise.
* fatfs/pager.c (create_fat_pager): Likewise.
* storeio/pager.c (init_dev_paging): Likewise.
---
 console/pager.c | 1 -
 1 file changed, 1 deletion(-)

(limited to 'console')

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.  */
-- 
cgit v1.2.3