X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fkernel%2Flist.h;h=a041299f6701f02e9d840dc52dab9ab4077702d9;hb=a5a2217b84404ff5b92d70464989f0c7cf7643c8;hp=e71c1cab31500c801547ec39131ee668fdd8c288;hpb=c0a215d0068dbe0ac441eb1fc5d737d5ca169751;p=pintos-anon

diff --git a/src/lib/kernel/list.h b/src/lib/kernel/list.h
index e71c1ca..a041299 100644
--- a/src/lib/kernel/list.h
+++ b/src/lib/kernel/list.h
@@ -153,8 +153,6 @@ typedef bool list_less_func (const struct list_elem *a,
                              void *aux);
 
 /* Operations on lists with ordered elements. */
-void list_merge (struct list *, struct list *,
-                 list_less_func *, void *aux);
 void list_sort (struct list *,
                 list_less_func *, void *aux);
 void list_insert_ordered (struct list *, struct list_elem *,