From 51971d56bc77644d380a1d7b175faaa807e59318 Mon Sep 17 00:00:00 2001
From: Philip Withnall <philip.withnall@collabora.co.uk>
Date: Wed, 20 Nov 2013 17:32:47 +0000
Subject: [PATCH] gtknotebook: Remove dead variable assignments

Found by scan-build.

https://bugzilla.gnome.org/show_bug.cgi?id=712760
---
 gtk/gtknotebook.c | 2 --
 1 file changed, 2 deletions(-)

diff --git a/gtk/gtknotebook.c b/gtk/gtknotebook.c
index 9217f12ec8..c71229e4b4 100644
--- a/gtk/gtknotebook.c
+++ b/gtk/gtknotebook.c
@@ -5233,7 +5233,6 @@ gtk_notebook_search_page (GtkNotebook *notebook,
     }
   else
     {
-      old_list = list;
       list = list->prev;
     }
   while (list)
@@ -5244,7 +5243,6 @@ gtk_notebook_search_page (GtkNotebook *notebook,
            (gtk_widget_get_visible (page->child) &&
             (!page->tab_label || NOTEBOOK_IS_TAB_LABEL_PARENT (notebook, page)))))
         return list;
-      old_list = list;
       list = list->prev;
     }
   return NULL;