From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sat, 18 Mar 2023 21:49:00 +0000 (+0100)
Subject: Fix MC+clang builds
X-Git-Tag: v3.34~308
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/5854836cde89ddc9cd5f967dba91488a97a8118d

Fix MC+clang builds
---

diff --git a/src/mc/api/guide/GuidedState.hpp b/src/mc/api/guide/GuidedState.hpp
index aab6531239..82ee915df9 100644
--- a/src/mc/api/guide/GuidedState.hpp
+++ b/src/mc/api/guide/GuidedState.hpp
@@ -17,6 +17,7 @@ protected:
   std::map<aid_t, ActorState> actors_to_run_;
 
 public:
+  virtual ~GuidedState()                                   = default;
   virtual std::pair<aid_t, double> next_transition() const = 0;
   virtual void execute_next(aid_t aid, RemoteApp& app)     = 0;
   virtual void consider_best()                             = 0;