Fix quotient bench automaton.

The previous automaton made no sense to Jacques and looked like
there has been a fishy copy/paste.

It now is:

A -a-> A
A -b-> A
A -b-> B
B -a-> B
B -b-> B

* src/bench/quotient/quotient_bool_bench.hh: Do that.

ChangeLog

+2009-04-30  d-halluin  <d-halluin@lrde.epita.fr>
+
+	Fix quotient bench automaton.
+
+	The previous automaton made no sense to Jacques and looked like
+	there has been a fishy copy/paste.
+
+	It now is:
+
+	A -a-> A
+	A -b-> A
+	A -b-> B
+	B -a-> B
+	B -b-> B
+
+	* src/bench/quotient/quotient_bool_bench.hh: Do that.
+
 2009-04-30  d-halluin  <d-halluin@lrde.epita.fr>
 	Enable callgraph in benchmark dot output.

src/bench/quotient/quotient_bool_bench.hh

@@ -40,8 +40,6 @@ void binary(automaton_t& an)
 
   an.add_letter_transition(c[1], c[1], 'a');
   an.add_letter_transition(c[1], c[1], 'b');
-  an.add_letter_transition(c[1], c[1], 'a');
-  an.add_letter_transition(c[1], c[1], 'b');
 }
 
 void quotient_bool_bench(int n_power)