Convert clock_type to enum class.

[loba.git] / deployment.h

diff --git a/deployment.h b/deployment.h
index b3fa43a6b29b14faccb3ddf65ad82fd1fbcd31d4..e1e0d92c33d551046c7ca51aa8dffd68123c7436 100644 (file)
--- a/deployment.h
+++ b/deployment.h
@@ -10,6 +10,7 @@ void MY_launch_application();
 class deployment_generator {
 public:
     deployment_generator();
+    virtual ~deployment_generator() { }
 
     size_t size() const { return hosts.size(); }
     void set_load(int host, double load);