diff --git a/src/Gui/Placement.cpp b/src/Gui/Placement.cpp index 4ea3cfc2b1..4b13f1e397 100644 --- a/src/Gui/Placement.cpp +++ b/src/Gui/Placement.cpp @@ -695,7 +695,7 @@ void Placement::onResetButtonClicked() * Sets the array of selection objects. * \param selection */ -void Placement::setSelection(const std::vector& selection) +void Placement::setSelection(const std::vector& selection) { selectionObjects = selection; } @@ -915,7 +915,7 @@ TaskPlacement::~TaskPlacement() * Sets the array of selection objects. * \param selection */ -void TaskPlacement::setSelection(const std::vector& selection) +void TaskPlacement::setSelection(const std::vector& selection) { widget->setSelection(selection); }