From 3110039661fca7a9212f3bb642f4c6acaeeaedac Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Wed, 7 Feb 2018 11:12:27 +0100
Subject: [PATCH] Add virtual destructor.

---
 src/surf/plugins/host_dvfs.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/surf/plugins/host_dvfs.cpp b/src/surf/plugins/host_dvfs.cpp
index 251f05ff0d..985d0d8c4d 100644
--- a/src/surf/plugins/host_dvfs.cpp
+++ b/src/surf/plugins/host_dvfs.cpp
@@ -40,6 +40,7 @@ public:
   double sampling_rate;
 
   explicit Governor(simgrid::s4u::Host* ptr) : host(ptr) { init(); }
+  virtual ~Governor() = default;
 
   void init()
   {
-- 
2.20.1