diff --git a/alib2algo/src/determinize/idpda/IDPDADeterminizer.cpp b/alib2algo/src/determinize/idpda/IDPDADeterminizer.cpp
index e307a3388e15736f14d67ae71407f7e1977eefa1..cda3ab584173070f5207554484888a0da20654fe 100644
--- a/alib2algo/src/determinize/idpda/IDPDADeterminizer.cpp
+++ b/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;