From abe4e12cc9c4db3a0d9934dc097636f7534216af Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 8 Jan 2018 11:35:59 +0100 Subject: [PATCH] * spot/twaalgos/parity.hh: Fix typo in comment. --- spot/twaalgos/parity.hh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/spot/twaalgos/parity.hh b/spot/twaalgos/parity.hh index c4eab8814..f1765df0e 100644 --- a/spot/twaalgos/parity.hh +++ b/spot/twaalgos/parity.hh @@ -1,5 +1,5 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2016, 2017 Laboratoire de Recherche et Développement +// Copyright (C) 2016-2018 Laboratoire de Recherche et Développement // de l'Epita (LRDE). // // This file is part of Spot, a model checking library. @@ -115,7 +115,7 @@ namespace spot /// \brief Colorize an automaton with parity acceptance /// /// An automaton is said colored iff all the transitions belong to exactly one - /// acceptance set. The algorithm achieves thiat by removing superfluous + /// acceptance set. The algorithm achieves that by removing superfluous /// acceptance marks. It may introduce a new set to mark the transitions with /// no acceptance sets and a second set may be introduced to keep the style. /// The input must be an automaton with a parity acceptance, otherwise an