From c7da4003a7c1a8d9b9d7a863dde52a626483e5bb Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 8 Jul 2014 16:22:56 +0200
Subject: [PATCH] * src/tgba/taatgba.cc: Fix a memory leak.

---
 src/tgba/taatgba.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/tgba/taatgba.cc b/src/tgba/taatgba.cc
index 1e60bca84..a80bdbb2d 100644
--- a/src/tgba/taatgba.cc
+++ b/src/tgba/taatgba.cc
@@ -275,6 +275,8 @@ namespace spot
 	  && (i == seen_.end() || j == i->second.end()))
       {
 	seen_[b].push_back(t);
+	if (i != seen_.end())
+	  delete b;
 	succ_.push_back(t);
       }
       else