mirror of
https://github.com/moveit/moveit_task_constructor.git
synced 2025-11-04 14:49:57 +08:00
fixup virtual destructor for Stage, StagePrivate
This commit is contained in:
parent
26cf2bc2bb
commit
ca99e24742
@ -67,7 +67,7 @@ class Stage {
|
|||||||
public:
|
public:
|
||||||
PRIVATE_CLASS(Stage)
|
PRIVATE_CLASS(Stage)
|
||||||
typedef std::unique_ptr<Stage> pointer;
|
typedef std::unique_ptr<Stage> pointer;
|
||||||
~Stage();
|
virtual ~Stage();
|
||||||
|
|
||||||
/// auto-convert Stage to StagePrivate* when needed
|
/// auto-convert Stage to StagePrivate* when needed
|
||||||
operator StagePrivate*();
|
operator StagePrivate*();
|
||||||
|
|||||||
@ -34,6 +34,7 @@ class StagePrivate {
|
|||||||
public:
|
public:
|
||||||
typedef std::list<Stage::pointer> container_type;
|
typedef std::list<Stage::pointer> container_type;
|
||||||
StagePrivate(Stage* me, const std::string& name);
|
StagePrivate(Stage* me, const std::string& name);
|
||||||
|
virtual ~StagePrivate() = default;
|
||||||
|
|
||||||
InterfaceFlags interfaceFlags() const;
|
InterfaceFlags interfaceFlags() const;
|
||||||
|
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user