diff --git a/ChangeLog b/ChangeLog index 2cd7d5c63..953f16c79 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2004-11-10 Alexandre Duret-Lutz + * src/evtgbaparse/public.hh (evtgba_parse): Fix doxygen comments. + * src/tgbaalgos/projrun.hh (project_tgba_run): Likewise. + * src/tgbaalgos/emptiness.hh (print_tgba_run): Document it. * src/tgbaalgos/replayrun.hh, diff --git a/src/evtgbaparse/public.hh b/src/evtgbaparse/public.hh index 232b589df..e1851de9f 100644 --- a/src/evtgbaparse/public.hh +++ b/src/evtgbaparse/public.hh @@ -40,8 +40,6 @@ namespace spot /// \param filename The name of the file to parse. /// \param error_list A list that will be filled with /// parse errors that occured during parsing. - /// \param dict The BDD dictionary where to use. - /// \param env The environment into which parsing should take place. /// \param debug When true, causes the parser to trace its execution. /// \return A pointer to the evtgba built from \a filename, or /// 0 if the file could not be opened. diff --git a/src/tgbaalgos/projrun.hh b/src/tgbaalgos/projrun.hh index 1d9f37e0c..0f2140142 100644 --- a/src/tgbaalgos/projrun.hh +++ b/src/tgbaalgos/projrun.hh @@ -37,7 +37,6 @@ namespace spot /// \param run the run to replay /// \param a_run the automata on which the run was generated /// \param a_proj the automata on which to project the run - /// \param os the stream on which the replay should be traced /// \return true iff the run could be completed tgba_run* project_tgba_run(const tgba* a_run, const tgba* a_proj,