alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

twacube: please gcc null-dereference

Browse source 
* spot/twacube/twacube.hh: here.
This commit is contained in:
Etienne Renault 2017-09-27 09:06:41 +02:00
parent b8258ac638
commit 7bac705e83
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
spot/twacube/twacube.hh
View file

@ -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;