From 036cfd30f87c29835f06760113aaeba7f66513b6 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. --- ChangeLog | 3 +++ src/tgbaalgos/emptinesscheck.cc | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index de71ad8bc..507f56d4c 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2004-01-09 Alexandre Duret-Lutz + * src/tgbaalgos/emptinesscheck.cc (emptiness_check::check): Typos + in comment. + * m4/gspnlib.m4 (AX_CHECK_GSPNLIB): Do not warn about a missing library for eesrg. Define the WITH_GSPN_EESRG conditional. * iface/gspn/Makefile.am (gspn_HEADERS, check_PROGRAMS): Add the diff --git a/src/tgbaalgos/emptinesscheck.cc b/src/tgbaalgos/emptinesscheck.cc index 5a00571ab..3a3eebbb7 100644 --- a/src/tgbaalgos/emptinesscheck.cc +++ b/src/tgbaalgos/emptinesscheck.cc @@ -117,7 +117,7 @@ namespace spot { // We use five main data in this algorithm: // * emptiness_check::root, a stack of strongly connected components (SCC), - // * emptiness_check::h, a hash of all visited node, with their order, + // * emptiness_check::h, a hash of all visited nodes, with their order, // (it is called "Hash" in Couvreur's paper) // * arc, a stack of acceptance conditions between each of these SCC, std::stack arc;