* src/tgba/tgbatba.cc

(tgba_tba_proxy_succ_iterator::~tgba_tba_proxy_succ_iterator):
Delete the proxied iterator.

ChangeLog

 2003-10-27  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/tgba/tgbatba.cc
+	(tgba_tba_proxy_succ_iterator::~tgba_tba_proxy_succ_iterator):
+	Delete the proxied iterator.
+
 	* src/tgbaalgos/emptinesscheck.cc (emptiness_check::counter_example):
 	Remove unused tmp_last, best_lst, and tmp_acc variables.
 

src/tgba/tgbatba.cc

@@ -91,6 +91,7 @@ namespace spot
     virtual
     ~tgba_tba_proxy_succ_iterator()
     {
+      delete it_;
     }
 
     // iteration