Fix MC+clang builds

diff --git a/src/mc/api/guide/GuidedState.hpp b/src/mc/api/guide/GuidedState.hpp
index aab6531..82ee915 100644 (file)
--- 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;