diff options
| -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)"; |