copy pushdown alphabet

alib2algo/src/determinize/idpda/IDPDADeterminizer.cpp

@@ -35,6 +35,7 @@ automaton::DPDA IDPDADeterminizer::determinize(const automaton::InputDrivenNPDA&
 	automaton::State initialState(createDFAState(nfa.getInitialStates()));
 	automaton::DPDA res(initialState, nfa.getInitialSymbol());
 	res.setInputSymbols(nfa.getInputAlphabet());
+	res.setStackSymbols(nfa.getStackAlphabet());
 	
 	// 2
 	std::deque<automaton::State> todo;