From 396b39a21b80994a4f9f52d9711d4b3d56c5fa08 Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Tue, 10 Aug 2021 14:32:33 +0200 Subject: [PATCH] Fixed a typo (thanks @PrangerStefan) --- src/storm/automata/AcceptanceCondition.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/storm/automata/AcceptanceCondition.cpp b/src/storm/automata/AcceptanceCondition.cpp index 14eb9c818..8360ec24a 100644 --- a/src/storm/automata/AcceptanceCondition.cpp +++ b/src/storm/automata/AcceptanceCondition.cpp @@ -42,7 +42,7 @@ bool AcceptanceCondition::isAccepting(const storm::storage::StateBlock& scc, acc case acceptance_expr::EXP_AND: return isAccepting(scc, expr->getLeft()) && isAccepting(scc, expr->getRight()); case acceptance_expr::EXP_OR: - return isAccepting(scc, expr->getLeft()) && isAccepting(scc, expr->getRight()); + return isAccepting(scc, expr->getLeft()) || isAccepting(scc, expr->getRight()); case acceptance_expr::EXP_NOT: return !isAccepting(scc, expr->getLeft()); case acceptance_expr::EXP_TRUE: