From 31e87b77b492a9fd24de22fe4c9bb2e4565f11d9 Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Mon, 13 Jun 2016 15:12:49 +0200
Subject: [PATCH] fix RHDPDA refactoring
---
alib2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/alib2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.cpp b/alib2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.cpp
index dfb57f2231..866c9c57b9 100644
--- a/alib2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.cpp
+++ b/alib2data/src/automaton/PDA/RealTimeHeightDeterministicDPDA.cpp
@@ -113,7 +113,7 @@ bool RealTimeHeightDeterministicDPDA::addReturnTransition(State from, std::varia
throw AutomatonException("State \"" + (std::string) to.getName() + "\" doesn't exist.");
}
- if (getPushdownStoreAlphabet().count(pop)) {
+ if (!getPushdownStoreAlphabet().count(pop)) {
throw AutomatonException("Pushdown store symbol \"" + (std::string) pop + "\" doesn't exist.");
}
--
GitLab