From 22cbc9446f26887cd37b620d1fcac0ead7676885 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 27 Mar 2019 10:08:59 +0100
Subject: [PATCH] Added virtual destructors in cpptempl

---
 resources/3rdparty/cpptemplate/cpptempl.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/resources/3rdparty/cpptemplate/cpptempl.h b/resources/3rdparty/cpptemplate/cpptempl.h
index b6a19d293..28c289a10 100755
--- a/resources/3rdparty/cpptemplate/cpptempl.h
+++ b/resources/3rdparty/cpptemplate/cpptempl.h
@@ -126,6 +126,7 @@ namespace cpptempl
 	class Data
 	{
 	public:
+		virtual ~Data() {}
 		virtual bool empty() = 0 ;
 		virtual std::string getvalue();
 		virtual data_list& getlist();
@@ -192,6 +193,7 @@ namespace cpptempl
 	class Token
 	{
 	public:
+		virtual ~Token() {};
 		virtual TokenType gettype() = 0 ;
 		virtual void gettext(std::ostream &stream, data_map &data) = 0 ;
 		virtual void set_children(token_vector &children);