Merge pull request #2426 from hannemann-tamas/master

virtual dtor for ParseTreeProperty
antlr · Nov 30, 2018 · b3f00ca · b3f00ca
2 parents 8268fdd + 8023013
commit b3f00ca
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/contributors.txt b/contributors.txt
@@ -208,3 +208,4 @@ YYYY/MM/DD, github id, Full name, email
 2018/11/12, vinoski, Steve Vinoski, vinoski@ieee.org
 2018/11/14, nxtstep, Adriaan (Arjan) Duz, codewithadriaan[et]gmail[dot]com
 2018/11/15, amykyta3, Alex Mykyta, amykyta3@users.noreply.github.com
+2018/11/29, hannemann-tamas, Ralf Hannemann-Tamas, ralf.ht@gmail.com
diff --git a/runtime/Cpp/runtime/src/tree/ParseTreeProperty.h b/runtime/Cpp/runtime/src/tree/ParseTreeProperty.h
@@ -29,6 +29,7 @@ namespace tree {
   template<typename V>
   class ANTLR4CPP_PUBLIC ParseTreeProperty {
   public:
+    virtual ~ParseTreeProperty() {}
     virtual V get(ParseTree *node) {
       return _annotations[node];
     }