diff options
author | Daniel Burrows <dburrows@debian.org> | 2010-05-11 21:59:07 -0700 |
---|---|---|
committer | Daniel Burrows <dburrows@debian.org> | 2010-05-11 21:59:07 -0700 |
commit | 2c48ec95f1f4263355facf2afaaf25b3e9d68f1d (patch) | |
tree | d02cceccf627c0322aa1b7404392ce0a4d63315a /src/gtk | |
parent | 2b6a0e7c8c19e708d63478c263a55dbb09da6b4b (diff) | |
download | aptitude-2c48ec95f1f4263355facf2afaaf25b3e9d68f1d.tar.gz |
Remove an unnecessary boost:: prefix.
Diffstat (limited to 'src/gtk')
-rw-r--r-- | src/gtk/toplevel/tabs_notebook.cc | 2 |
1 files changed, 1 insertions, 1 deletions
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)"; |