diff options
| -rw-r--r-- | src/gui/widgets/tabbedarea.cpp | 4 | ||||
| -rw-r--r-- | src/gui/widgets/tabbedarea.h | 3 |
2 files changed, 3 insertions, 4 deletions
diff --git a/src/gui/widgets/tabbedarea.cpp b/src/gui/widgets/tabbedarea.cpp index 10150654e..9526c58bd 100644 --- a/src/gui/widgets/tabbedarea.cpp +++ b/src/gui/widgets/tabbedarea.cpp @@ -177,8 +177,8 @@ gcn::Widget *TabbedArea::getCurrentWidget() const return nullptr; } -void TabbedArea::addTab(Tab *restrict const tab, - gcn::Widget *restrict const widget) +void TabbedArea::addTab(Tab *const tab, + gcn::Widget *const widget) { if (!tab || !widget) return; diff --git a/src/gui/widgets/tabbedarea.h b/src/gui/widgets/tabbedarea.h index 6584747c6..449d8c51a 100644 --- a/src/gui/widgets/tabbedarea.h +++ b/src/gui/widgets/tabbedarea.h @@ -94,8 +94,7 @@ class TabbedArea final : public Widget2, * @param tab The tab widget for the tab. * @param widget The widget to view when the tab is selected. */ - void addTab(Tab *restrict const tab, - gcn::Widget *restrict const widget); + void addTab(Tab *const tab, gcn::Widget *const widget); void addTab(const std::string &caption, gcn::Widget *const widget); |