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;