SafetyChecker::backtrack() calls mc_api functions

[simgrid.git] / src / plugins / vm / VirtualMachineImpl.hpp

diff --git a/src/plugins/vm/VirtualMachineImpl.hpp b/src/plugins/vm/VirtualMachineImpl.hpp
index a12b01fcd8f06770de1ba6d213a30b0ab5cf44a6..b2597a50338a2a4aadad28bf2011688d12fb9a35 100644 (file)
--- a/src/plugins/vm/VirtualMachineImpl.hpp
+++ b/src/plugins/vm/VirtualMachineImpl.hpp
@@ -39,7 +39,7 @@ public:
   static std::deque<s4u::VirtualMachine*> allVms_;
 
   explicit VirtualMachineImpl(s4u::VirtualMachine* piface, s4u::Host* host, int core_amount, size_t ramsize);
-  ~VirtualMachineImpl();
+  ~VirtualMachineImpl() override;
 
   virtual void suspend(kernel::actor::ActorImpl* issuer);
   virtual void resume();