diff --git a/ChangeLog b/ChangeLog
index 52a837f64..02f25ae17 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,12 @@
 2004-11-02  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/tgbaalgos/emptiness.cc,
+	src/tgbaalgos/emptiness.hh (print_tgba_run): Take the tgba*
+	argument before the tgba_run* argument (for consistency with
+	replay_tgba_run).
+	* src/tgbatest/ltl2tgba.cc, iface/gspn/ltlgspn.cc: Adjust
+	calls to print_tgba_run().
+
 	* src/ltlast/formula.hh (ltl::formula::~formula): Make it protected.
 
 2004-10-29  Alexandre Duret-Lutz  <adl@src.lip6.fr>
diff --git a/iface/gspn/ltlgspn.cc b/iface/gspn/ltlgspn.cc
index 47ac376c1..06cc09fdf 100644
--- a/iface/gspn/ltlgspn.cc
+++ b/iface/gspn/ltlgspn.cc
@@ -267,7 +267,7 @@ main(int argc, char **argv)
 #endif
 		    spot::tgba_run* run = ce->accepting_run();
 		    // FIXME: reimplement the projection
-		    spot::print_tgba_run(std::cout, run, prod);
+		    spot::print_tgba_run(std::cout, prod, run);
 		    ce->print_stats(std::cout);
 		    delete run;
 		    delete ce;
@@ -302,7 +302,7 @@ main(int argc, char **argv)
 		  {
 		    spot::tgba_run* run = res->accepting_run();
 		    // FIXME: reimplement the projection
-		    spot::print_tgba_run(std::cout, run, prod);
+		    spot::print_tgba_run(std::cout, prod, run);
 		    delete run;
 		  }
 		else
diff --git a/src/tgbaalgos/emptiness.cc b/src/tgbaalgos/emptiness.cc
index 58a5af248..cffd9428e 100644
--- a/src/tgbaalgos/emptiness.cc
+++ b/src/tgbaalgos/emptiness.cc
@@ -51,8 +51,8 @@ namespace spot
   }
 
   std::ostream& print_tgba_run(std::ostream& os,
-			       const tgba_run* run,
-			       const tgba* a)
+			       const tgba* a,
+			       const tgba_run* run)
   {
     bdd_dict* d = a->get_dict();
     os << "Prefix:" << std::endl;
diff --git a/src/tgbaalgos/emptiness.hh b/src/tgbaalgos/emptiness.hh
index f3daee52e..933000023 100644
--- a/src/tgbaalgos/emptiness.hh
+++ b/src/tgbaalgos/emptiness.hh
@@ -54,8 +54,8 @@ namespace spot
 
   class tgba;
   std::ostream& print_tgba_run(std::ostream& os,
-			       const tgba_run* run,
-			       const tgba* a);
+			       const tgba* a,
+			       const tgba_run* run);
 
   /// \brief The result of an emptiness check.
   ///
diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index 39b2ef60e..b5ef9d7d5 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -580,7 +580,7 @@ main(int argc, char** argv)
 		    }
 		  else
 		    {
-		      spot::print_tgba_run(std::cout, run, ec_a);
+		      spot::print_tgba_run(std::cout, ec_a, run);
 		      if (!spot::replay_tgba_run(std::cout, ec_a, run))
 			exit_code = 1;
 		      delete run;