From fcd5cd8117e38182cd891b70c3fb83b05938d5a5 Mon Sep 17 00:00:00 2001
From: Joel Holdsworth <joel@joel-desktop.(none)>
Date: Sat, 10 Jan 2009 11:02:29 +0000
Subject: [PATCH] Tidied up update_headers

---
 src/gui/widgets/timeline/timeline-header-container.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/gui/widgets/timeline/timeline-header-container.cpp b/src/gui/widgets/timeline/timeline-header-container.cpp
index 8f5973789..a2ec106d4 100644
--- a/src/gui/widgets/timeline/timeline-header-container.cpp
+++ b/src/gui/widgets/timeline/timeline-header-container.cpp
@@ -79,6 +79,8 @@ TimelineHeaderContainer::update_headers()
   pair<shared_ptr<model::Track>, shared_ptr<timeline::Track> > pair; 
   BOOST_FOREACH( pair, timelineWidget.trackMap )
     {
+      REQUIRE(pair.first);
+      
       // Set the header's parent widget
       Widget &widget = lookup_timeline_track(pair.first)->
         get_header_widget();