From c379acad8a34ceaa8fce008d4027d4f308c349cf Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 26 Sep 2017 22:27:35 +0200 Subject: [PATCH] * spot/twaalgos/totgba.cc: Typos in comment. --- spot/twaalgos/totgba.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spot/twaalgos/totgba.cc b/spot/twaalgos/totgba.cc index 8d20f8fbe..199c7e8e3 100644 --- a/spot/twaalgos/totgba.cc +++ b/spot/twaalgos/totgba.cc @@ -687,7 +687,7 @@ namespace spot // Nondeterministically jump to level ∅. We need to do // that only once per cycle. As an approximation, we - // only to that for transition where t.src >= t.dst as + // only do that for transitions where t.src >= t.dst as // this has to occur at least once per cycle. if (pend == orig_copy && (t.src >= t.dst) && maybe_acc && !no_fin) {