Skip to content

Commit 17384f7

Browse files
author
Daniel Kroening
committed
added virtual destructor to statement_list_parse_treet::functiont
This re-enables compilation with clang.
1 parent a2a5672 commit 17384f7

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

src/statement-list/statement_list_parse_tree.h

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -170,6 +170,9 @@ class statement_list_parse_treet
170170
/// Prints the function in a human-readable form to the given output
171171
/// stream.
172172
virtual void output(std::ostream &out) const;
173+
174+
// destructor
175+
virtual ~functiont() = default;
173176
};
174177
using functionst = std::list<functiont>;
175178

0 commit comments

Comments
 (0)