* src/evtgbaparse/public.hh (evtgba_parse): Fix doxygen comments.

* src/tgbaalgos/projrun.hh (project_tgba_run): Likewise.

ChangeLog

 2004-11-10  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* 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,

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.

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,