From 26b932828bbef260ce9eb8dc1109aa1d13b2ce7b 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 f0c16eb02..45bbc1c3f 100644
--- a/src/tgba/taatgba.cc
+++ b/src/tgba/taatgba.cc
@@ -254,6 +254,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