]> AND Private Git Repository - loba.git/blobdiff - deployment.h
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
Replace NULL with nullptr.
[loba.git] / deployment.h
index b3fa43a6b29b14faccb3ddf65ad82fd1fbcd31d4..e1e0d92c33d551046c7ca51aa8dffd68123c7436 100644 (file)
@@ -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);