diff --git a/include/revng/ADT/UpcastablePointer.h b/include/revng/ADT/UpcastablePointer.h index 552aa4117..06b4de974 100644 --- a/include/revng/ADT/UpcastablePointer.h +++ b/include/revng/ADT/UpcastablePointer.h @@ -174,6 +174,10 @@ public: return UpcastablePointer(new Q(std::forward(TheArgs)...)); } + UpcastablePointer copy() const { + return UpcastablePointer(clone(Pointer.get())); + } + public: UpcastablePointer &operator=(const UpcastablePointer &Other) { if (&Other != this) {