From 483b05c5501c161dc235ee48dd0093b0cf36f1a5 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 26 Jul 2018 17:02:52 +0200 Subject: [PATCH] * spot/twaalgos/translate.cc: Typos in comments. --- spot/twaalgos/translate.cc | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/spot/twaalgos/translate.cc b/spot/twaalgos/translate.cc index b7e3e13a8..806aa522b 100644 --- a/spot/twaalgos/translate.cc +++ b/spot/twaalgos/translate.cc @@ -163,7 +163,7 @@ namespace spot } if (r2.is_syntactic_obligation() || !r2.is(op::And, op::Or) || // For TGBA/BA we only do conjunction. There is nothing wrong - // with disjunction, but it seems to generated larger automata + // with disjunction, but it seems to generate larger automata // in many cases and it needs to be further investigated. Maybe // this could be relaxed in the case of deterministic output. (r2.is(op::Or) && (type_ == TGBA || type_ == BA))) @@ -189,8 +189,7 @@ namespace spot if (!susp.empty()) { // The only cases where we accept susp and rest to be both - // non-empty is when doing arbitrary acceptance, or when doing - // Generic or TGBA. + // non-empty is when doing Generic acceptance or TGBA. if (!rest.empty() && !(type_ == Generic || type_ == TGBA)) { rest.insert(rest.end(), susp.begin(), susp.end());