From 336b628be232744b395a2fd550b162e08d1246e7 Mon Sep 17 00:00:00 2001
From: Thomas Krijnen <t.krijnen@gmail.com>
Date: Sat, 3 Oct 2020 17:13:25 +0200
Subject: [PATCH] virtual dtor

---
 src/ifcgeom/taxonomy.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ifcgeom/taxonomy.h b/src/ifcgeom/taxonomy.h
index e95d548fac..2eeac65736 100644
--- a/src/ifcgeom/taxonomy.h
+++ b/src/ifcgeom/taxonomy.h
@@ -102,7 +102,7 @@ struct eigen_base {
 		o << std::endl;
 	}
 
-	~eigen_base() {
+	virtual ~eigen_base() {
 		delete this->components_;
 	}