Install package non-interactively on CI

[simgrid.git] / src / mc / api / strategy / WaitStrategy.hpp

diff --git a/src/mc/api/strategy/WaitStrategy.hpp b/src/mc/api/strategy/WaitStrategy.hpp
index 182411e..ed5b9a0 100644 (file)
--- a/src/mc/api/strategy/WaitStrategy.hpp
+++ b/src/mc/api/strategy/WaitStrategy.hpp
@@ -6,6 +6,7 @@
 #ifndef SIMGRID_MC_WAITSTRATEGY_HPP
 #define SIMGRID_MC_WAITSTRATEGY_HPP
 
+#include "Strategy.hpp"
 #include "src/mc/transition/Transition.hpp"
 
 namespace simgrid::mc {
@@ -18,8 +19,8 @@ class WaitStrategy : public Strategy {
 
 public:
   WaitStrategy()                     = default;
-  ~WaitStrategy()                    = default;
-  WaitStrategy(const BasicStrategy&) = delete;
+  ~WaitStrategy() override           = default;
+  WaitStrategy(const WaitStrategy&)  = delete;
   WaitStrategy& operator=(const WaitStrategy& guide)
   {
     taken_wait_ = guide.taken_wait_;