* iface/gspn/ltleesrg.cc: Emptinesscheck the full product, not

the control automaton.

ChangeLog

 2004-01-06  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* iface/gspn/ltleesrg.cc: Emptinesscheck the full product, not
+	the control automaton.
+
 	* iface/gspn/eesrg.cc (tgba_gspn_eesrg::project_state): New method.
 	* iface/gspn/eesrg.hh: Likewise.
 

iface/gspn/ltleesrg.cc

-// Copyright (C) 2003  Laboratoire d'Informatique de Paris 6 (LIP6),
+// Copyright (C) 2003, 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
 // dpartement Systmes Rpartis Coopratifs (SRC), Universit Pierre
 // et Marie Curie.
 //
@@ -69,12 +69,12 @@ main(int argc, char **argv)
       {
 	spot::tgba_gspn_eesrg a(dict, env, prod);
 
-	spot::emptiness_check ec(prod);
+	spot::emptiness_check ec(&a);
 	bool res = ec.check();
 	if (!res)
 	  {
 	    ec.counter_example();
-	    ec.print_result(std::cout, prod);
+	    ec.print_result(std::cout, &a);
 	    exit(1);
 	  }
 	else