diff --git a/src/gtk/win_gtk.cpp b/src/gtk/win_gtk.cpp
index 6869fbde37..b3aeed5a4a 100644
--- a/src/gtk/win_gtk.cpp
+++ b/src/gtk/win_gtk.cpp
@@ -103,8 +103,6 @@ static void size_allocate(GtkWidget* widget, GtkAllocation* alloc)
         const GtkFixedChild* child = static_cast<GtkFixedChild*>(list->data);
         if (GTK_WIDGET_VISIBLE(child->widget))
         {
-            GtkAllocation child_old_alloc = child->widget->allocation;
-
             GtkAllocation child_alloc;
             // note that child positions do not take border into
             // account, they need to be relative to widget->window,