From 365d0ead946509ab59386f602502ca2b9cad3658 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sat, 20 Jul 2013 17:08:23 +0200 Subject: [PATCH] * src/tgbaalgos/reducerun.hh: Typos in documentation. --- src/tgbaalgos/reducerun.hh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/tgbaalgos/reducerun.hh b/src/tgbaalgos/reducerun.hh index 9539c8ad8..e47a9a1b9 100644 --- a/src/tgbaalgos/reducerun.hh +++ b/src/tgbaalgos/reducerun.hh @@ -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. // 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. // // This file is part of Spot, a model checking library. @@ -30,8 +30,8 @@ namespace spot /// \ingroup tgba_run /// \brief Reduce an accepting run. /// - /// Return a run which is accepting for \a and that is no longer - /// that \a org. + /// Return a run which is accepting for \a a and that is no longer + /// than \a org. tgba_run* reduce_run(const tgba* a, const tgba_run* org); }