- bottomOfThePushdownStore symbol from stackAlph.

alib2algo/src/automaton/transform/RHPDAToPDA.cpp

@@ -96,7 +96,7 @@ automaton::DPDA RHPDAToPDA::convert( const automaton::RealTimeHeightDeterministi
 	res.setInputAlphabet(pda.getInputAlphabet());
 	res.setStackAlphabet(pda.getStackAlphabet());
-	res.removeStackSymbol(alphabet::Symbol { alphabet::BottomOfTheStackSymbol::BOTTOM_OF_THE_STACK });
+	res.removeStackSymbol(pda.getBottomOfTheStackSymbol());
 	for(const auto& st : readingTransitions) {
 		for(const auto& to : st.second) {
@@ -218,6 +218,7 @@ automaton::NPDA RHPDAToPDA::convert( const automaton::RealTimeHeightDeterministi
 	res.setInputAlphabet(pda.getInputAlphabet());
 	res.setStackAlphabet(pda.getStackAlphabet());
+	res.removeStackSymbol(pda.getBottomOfTheStackSymbol());
 	for(const auto& st : readingTransitions) {
 		for(const auto& to : st.second) {