auto -> type

alib2algo/src/automaton/simplify/Minimize.cpp

@@ -109,7 +109,7 @@ automaton::DFA Minimize::minimize(const automaton::DFA& dfa) {
 	} while(minimizedTransitionFunction1.size() != minimizedTransitionFunction2.size());
 	const automaton::State* initialState = NULL;
-	for(const auto & transition : minimizedTransitionFunction2) {
+	for(const std::pair<const std::pair<automaton::State, std::set<std::pair<alphabet::Symbol, automaton::State> > >, std::set<automaton::State> >& transition : minimizedTransitionFunction2) {
 		if(transition.second.count(dfa.getInitialState())) {
 			initialState = &(transition.first.first);
 			break;