Commit 3772f53b authored by Etienne Renault's avatar Etienne Renault
Browse files

twacube: please gcc null-dereference

* spot/twacube/twacube.hh: here.
parent 05b43496
...@@ -57,7 +57,8 @@ namespace spot ...@@ -57,7 +57,8 @@ namespace spot
}; };
/// \brief Class for iterators over transitions /// \brief Class for iterators over transitions
class SPOT_API trans_index final class SPOT_API trans_index final:
public std::enable_shared_from_this<trans_index>
{ {
public: public:
typedef digraph<cstate, transition> graph_t; typedef digraph<cstate, transition> graph_t;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment