[gnome-panel] panel: Remove unnecessary variable

[Vincent Untz <vuntz src gnome org>]

commit 792aa870ef9fd6f57af7d07f152c1c987af1a6c2
Author: Peter Hurley <peter hurleysoftware com>
Date:   Sat Mar 3 14:43:57 2012 -0500

    panel: Remove unnecessary variable
    
    https://bugzilla.gnome.org/show_bug.cgi?id=671329

 gnome-panel/panel-separator.c |    8 +-------
 1 files changed, 1 insertions(+), 7 deletions(-)
---
diff --git a/gnome-panel/panel-separator.c b/gnome-panel/panel-separator.c
index 37847a5..80d9f08 100644
--- a/gnome-panel/panel-separator.c
+++ b/gnome-panel/panel-separator.c
@@ -84,15 +84,9 @@ panel_separator_size_allocate (GtkWidget     *widget,
 			       GtkAllocation *allocation)
 {
 	GtkAllocation    old_allocation;
-	GtkAllocation    widget_allocation;
 	PanelBackground *background;
 
-	gtk_widget_get_allocation (widget, &widget_allocation);
-
-	old_allocation.x      = widget_allocation.x;
-	old_allocation.y      = widget_allocation.y;
-	old_allocation.width  = widget_allocation.width;
-	old_allocation.height = widget_allocation.height;
+	gtk_widget_get_allocation (widget, &old_allocation);
 
 	GTK_WIDGET_CLASS (panel_separator_parent_class)->size_allocate (widget, allocation);