Use user-define element destructor.

pull/4494/head
Kim Kulling 2022-09-11 17:04:58 +02:00 committed by GitHub
parent 7b874983d0
commit b2ea018fd5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -89,7 +89,7 @@ class Element
{ {
public: public:
Element(const Token& key_token, Parser& parser); Element(const Token& key_token, Parser& parser);
~Element() = default; ~Element():
const Scope* Compound() const { const Scope* Compound() const {
return compound; return compound;