From 356794a6468ea3f08afc296dbca1899dd45e2b5b Mon Sep 17 00:00:00 2001 From: wmayer Date: Tue, 1 Nov 2022 22:57:47 +0100 Subject: [PATCH] Gui: [skip ci] fix Conda build failure --- src/Gui/Placement.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Gui/Placement.cpp b/src/Gui/Placement.cpp index 4ea3cfc2b170..4b13f1e397d2 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); }