From 6fd7aa325dfeb33cc0f4f87dd6d85d17933c135b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20Tr=C3=A1vn=C3=AD=C4=8Dek?= <jan.travnicek@fit.cvut.cz>
Date: Mon, 13 Dec 2021 19:54:37 +0100
Subject: [PATCH] alog: remove not needed condition fragment
---
alib2algo/src/automaton/transform/AutomataConcatenation.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/alib2algo/src/automaton/transform/AutomataConcatenation.h b/alib2algo/src/automaton/transform/AutomataConcatenation.h
index 7b19c9970d..4a5614e114 100644
--- a/alib2algo/src/automaton/transform/AutomataConcatenation.h
+++ b/alib2algo/src/automaton/transform/AutomataConcatenation.h
@@ -90,7 +90,7 @@ automaton::NFA < typename AutomatonType::SymbolType, ext::pair < typename Automa
for ( const auto & t : second.getTransitionsFromState ( second.getInitialState ( ) ) )
res.addTransition ( q01q02, t.first.second, { t.second, SECOND } );
- if ( first.getFinalStates ( ).contains ( first.getInitialState() ) && second.getFinalStates().contains(second.getInitialState()))
+ if ( second.getFinalStates().contains(second.getInitialState()))
res.addFinalState ( q01q02 );
}
--
GitLab