From 4674f0f11602f0dd1482f3758f4ff7e992676bde Mon Sep 17 00:00:00 2001
From: Patrick Brosi <brosi@informatik.uni-freiburg.de>
Date: Fri, 13 Jul 2018 18:04:27 +0200
Subject: [PATCH] make destructor virtual

---
 src/util/graph/Graph.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/graph/Graph.h b/src/util/graph/Graph.h
index 2a3b2ed..09d0465 100644
--- a/src/util/graph/Graph.h
+++ b/src/util/graph/Graph.h
@@ -19,7 +19,7 @@ namespace graph {
 template <typename N, typename E>
 class Graph {
  public:
-  ~Graph();
+  virtual ~Graph();
   virtual Node<N, E>* addNd() = 0;
   virtual Node<N, E>* addNd(const N& pl) = 0;
   Edge<N, E>* addEdg(Node<N, E>* from, Node<N, E>* to);