Fixed a typo (thanks @PrangerStefan)

3 years ago · 396b39a21b
1 changed files with 1 additions and 1 deletions
--- 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: