* src/tgbaalgos/gtec/ce.cc (couvreur99_check_result::accepting_path):

Initialize best_end to remove a spurious warning.

ChangeLog

 2004-10-29  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/tgbaalgos/gtec/ce.cc (couvreur99_check_result::accepting_path):
+	Initialize best_end to remove a spurious warning.
+
 	* src/tgbaalgos/gtec/ce.cc (couvreur99_check_result::accepting_run,
 	couvreur99_check_result::complete_cycle,
 	couvreur99_check_result::accepting_path): Record conditions and

src/tgbaalgos/gtec/ce.cc

@@ -304,7 +304,7 @@ namespace spot
 	// The best path seen so far.
 	tgba_run::steps best_path;
 	// The end state of the base path.
-	const state* best_end;
+	const state* best_end = 0;
 	// The acceptance conditions traversed by BEST_PATH.
 	bdd best_acc = bddfalse;