alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* src/tgbaalgos/reducerun.hh: Typos in documentation.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2013-07-20 17:08:23 +02:00
parent b26b910358
commit 365d0ead94
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/tgbaalgos/reducerun.hh
View file

@ -1,7 +1,7 @@
// Copyright (C) 2010 Laboratoire de Recherche et Developpement de // Copyright (C) 2010, 2013 Laboratoire de Recherche et Développement de
// l'Epita. // l'Epita.
// Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6), // Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre // département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie. // et Marie Curie.
// //
// This file is part of Spot, a model checking library. // This file is part of Spot, a model checking library.
@ -30,8 +30,8 @@ namespace spot
/// \ingroup tgba_run /// \ingroup tgba_run
/// \brief Reduce an accepting run. /// \brief Reduce an accepting run.
/// ///
/// Return a run which is accepting for \a and that is no longer /// Return a run which is accepting for \a a and that is no longer
/// that \a org. /// than \a org.
tgba_run* reduce_run(const tgba* a, const tgba_run* org); tgba_run* reduce_run(const tgba* a, const tgba_run* org);
} }