From f83f3e5981834e35fa2d120ccc1e0a90f8d228a9 Mon Sep 17 00:00:00 2001
From: Hang Park <hangpark@kaist.ac.kr>
Date: Fri, 14 Apr 2017 03:58:48 +0900
Subject: [PATCH] [#79] Remove duplicated file list initialization

---
 src/userprog/process.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/userprog/process.c b/src/userprog/process.c
index 91495b7..f5931a9 100644
--- a/src/userprog/process.c
+++ b/src/userprog/process.c
@@ -128,7 +128,6 @@ start_process (void *arguments)
     }
   curr->exec_file = exec_file;
   curr->fd_next = FD_MIN;
-  list_init (&curr->file_list);
 
   /* Free resources. */
   palloc_free_page (args->argv[0]);