diff --git a/spot/twacube/twacube.hh b/spot/twacube/twacube.hh index 8d69f74e3..f35917265 100644 --- a/spot/twacube/twacube.hh +++ b/spot/twacube/twacube.hh @@ -57,7 +57,8 @@ namespace spot }; /// \brief Class for iterators over transitions - class SPOT_API trans_index final + class SPOT_API trans_index final: + public std::enable_shared_from_this { public: typedef digraph graph_t;