From dae794aad3ef8cfe13fa81c5656feef74331dbd0 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 2 Feb 2004 19:31:58 +0000
Subject: [PATCH] * wrap/python/cgi/ltl2tgba.in (default_translator): Default
 to trans_fm. (translators): Show trans_fm before trans_lacim.

---
 ChangeLog                   | 4 ++++
 wrap/python/cgi/ltl2tgba.in | 4 ++--
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 33500bd09..9ee7d42ea 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2004-02-02  Alexandre Duret-Lutz  <adl@gnu.org>
 
+	* wrap/python/cgi/ltl2tgba.in (default_translator): Default
+	to trans_fm.
+	(translators): Show trans_fm before trans_lacim.
+
 	* wrap/python/cgi/ltl2tgba.in (print_stats): New function.  Call
 	it to display the size of the generalized and degeneralized
 	automata.
diff --git a/wrap/python/cgi/ltl2tgba.in b/wrap/python/cgi/ltl2tgba.in
index 67e72f06f..98fed6924 100644
--- a/wrap/python/cgi/ltl2tgba.in
+++ b/wrap/python/cgi/ltl2tgba.in
@@ -103,10 +103,10 @@ options = [
     ('show_lbtt',           'convert automaton for LBTT',                  0),
     ]
 
-default_translator = 'trans_lacim';
+default_translator = 'trans_fm';
 translators = [
-    ('trans_lacim',     'Convreur/LaCIM'),
     ('trans_fm',        'Convreur/FM'),
+    ('trans_lacim',     'Convreur/LaCIM'),
     ]
 
 print """<FORM action="%s" method="post"><P>