#ifndef SIMGRID_S4U_VM_HPP
#define SIMGRID_S4U_VM_HPP
+#include <simgrid/forward.h>
#include <simgrid/s4u/Host.hpp>
namespace simgrid {
void suspend();
void resume();
void shutdown();
- void destroy();
+ void destroy() override;
Host* get_pm();
void set_pm(Host* pm);