diff --git a/ChangeLog b/ChangeLog index a72499955..e7a08dd9e 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2004-01-06 Alexandre Duret-Lutz + * src/tgbaalgos/reachiter.hh: Typos in comments. + * iface/gspn/eesrg.cc (tgba_gspn_eesrg::all_acceptance_conditions, tgba_gspn_eesrg::neg_acceptance_conditions): Forward to data_->operand. diff --git a/src/tgbaalgos/reachiter.hh b/src/tgbaalgos/reachiter.hh index 3b5d90656..e7ed0b76d 100644 --- a/src/tgbaalgos/reachiter.hh +++ b/src/tgbaalgos/reachiter.hh @@ -1,4 +1,4 @@ -// Copyright (C) 2003 Laboratoire d'Informatique de Paris 6 (LIP6), +// Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), // département Systèmes Répartis Coopératifs (SRC), Université Pierre // et Marie Curie. // @@ -93,7 +93,7 @@ namespace spot virtual const state* next_state(); protected: - std::stack todo; ///< A stack of state yet to explore. + std::stack todo; ///< A stack of states yet to explore. }; /// \brief An implementation of spot::tgba_reachable_iterator that browses @@ -107,7 +107,7 @@ namespace spot virtual const state* next_state(); protected: - std::deque todo; ///< A queue of state yet to explore. + std::deque todo; ///< A queue of states yet to explore. };