From 2c48ec95f1f4263355facf2afaaf25b3e9d68f1d Mon Sep 17 00:00:00 2001
From: Daniel Burrows <dburrows@debian.org>
Date: Tue, 11 May 2010 21:59:07 -0700
Subject: Remove an unnecessary boost:: prefix.

---
 src/gtk/toplevel/tabs_notebook.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/gtk')

diff --git a/src/gtk/toplevel/tabs_notebook.cc b/src/gtk/toplevel/tabs_notebook.cc
index 71368bb3..cf20441c 100644
--- a/src/gtk/toplevel/tabs_notebook.cc
+++ b/src/gtk/toplevel/tabs_notebook.cc
@@ -40,7 +40,7 @@ namespace gui
   {
     namespace
     {
-      std::string safe_get_name(const boost::shared_ptr<tab_display_info> &tab)
+      std::string safe_get_name(const shared_ptr<tab_display_info> &tab)
       {
         if(tab.get() == NULL)
           return "(null)";
-- 
cgit v1.2.3