From 7bac705e83a09a2523650d28e0e42b55354da914 Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Wed, 27 Sep 2017 09:06:41 +0200
Subject: [PATCH] twacube: please gcc null-dereference

* spot/twacube/twacube.hh: here.
---
 spot/twacube/twacube.hh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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<trans_index>
   {
   public:
     typedef digraph<cstate, transition> graph_t;