tidy: match parameter names in function declaration vs definition

alib2algo/src/automaton/convert/ToRTEStateElimination.h

@@ -71,12 +71,12 @@ private:
 	 * Helper function for the elimination of a single state according to the algorithm.
 	 * @tparam SymbolType the type of symbol of the automaton's input ranked alphabet
 	 * @tparam StateType  the type of states of the automaton
-	 * @param extendedAutomaton automaton for the elimination
+	 * @param automaton automaton for the elimination
 	 * @param state a state to eliminate
 	 * @return the @p extendedAutomaton after the elimination of a state @state.
 	 */
     template < class SymbolType, class StateType >
-    static automaton::ExtendedNFTA< SymbolType, StateType > eliminateState ( const automaton::ExtendedNFTA< SymbolType, StateType >& extendedAutomaton, const StateType& state );
+    static automaton::ExtendedNFTA< SymbolType, StateType > eliminateState ( const automaton::ExtendedNFTA< SymbolType, StateType >& automaton, const StateType& state );
     /**
 	 * Helper function to create RTE alternation from several transition's rtexps