Commit ca3b994e authored by Etienne Renault's avatar Etienne Renault

twacube: please gcc null-dereference

* spot/twacube/twacube.hh: here.
parent 5d7a2832
......@@ -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<trans_index>
{
public:
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