From f01267f36f9c9d715539d42fc5e9707dcabfe59a Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 9 Jan 2004 13:34:14 +0000 Subject: [PATCH] * src/tgbaalgos/emptinesscheck.cc (emptiness_check::check): Typos in comment. --- src/tgbaalgos/emptinesscheck.cc | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/src/tgbaalgos/emptinesscheck.cc b/src/tgbaalgos/emptinesscheck.cc index 6dac90d6b..5a00571ab 100644 --- a/src/tgbaalgos/emptinesscheck.cc +++ b/src/tgbaalgos/emptinesscheck.cc @@ -202,10 +202,9 @@ namespace spot continue; } - // We know the state exist. Since a state can have several + // We know the state exists. Since a state can have several // representations (i.e., objects), make sure we delete - // anything but the first one seen (the one used as key in - // H). + // anything but the first one seen (the one used as key in H). if (dest != i->first) delete dest; @@ -254,7 +253,7 @@ namespace spot return false; } } - // This automaton recognize no word. + // This automaton recognizes no word. return true; }