* src/tgba/tgbaproduct.cc (tgba_product_succ_iterator::first):

Simplify, do not call next_non_false_() either side is done.

ChangeLog

 2003-07-03  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
+	* src/tgba/tgbaproduct.cc (tgba_product_succ_iterator::first):
+	Simplify, do not call next_non_false_() either side is done.
+
 	* src/tgba/succiter.hh (tgba_succ_iterator::current_condition):
 	State that this is a boolean function.
 	* src/tgba/succiterconcrete.hh

src/tgba/tgbaproduct.cc

@@ -104,6 +104,7 @@ namespace spot
       {
 	delete right_;
 	right_ = 0;
+	return;
       }
     next_non_false_();
   }