From 32be3a6f75c8bd1a80bdee2c2aa4501624e544e7 Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Sat, 20 Sep 2014 19:22:00 +0200
Subject: [PATCH] copy pushdown alphabet

---
 alib2algo/src/determinize/idpda/IDPDADeterminizer.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/alib2algo/src/determinize/idpda/IDPDADeterminizer.cpp b/alib2algo/src/determinize/idpda/IDPDADeterminizer.cpp
index e307a3388e..cda3ab5841 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;
-- 
GitLab