From 4ca38d225a430be25a7defe5e3858347f2f8c6e4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cl=C3=A9ment=20Gillard?= Date: Wed, 11 Apr 2018 16:49:45 +0200 Subject: [PATCH] * spot/twaalgos/product.hh: Typos in comments. --- spot/twaalgos/product.hh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/spot/twaalgos/product.hh b/spot/twaalgos/product.hh index 69a100a65..b38f54e8e 100644 --- a/spot/twaalgos/product.hh +++ b/spot/twaalgos/product.hh @@ -52,7 +52,7 @@ namespace spot /// \ingroup twa_algorithms /// \brief Intersect two automata using a synchronous product /// - /// These variant allow changing the initial state of both automata + /// This variant allows changing the initial state of both automata /// in case you want to start the product at a different place. /// /// The resulting automaton will accept the intersection of the @@ -96,7 +96,7 @@ namespace spot /// \ingroup twa_algorithms /// \brief Sum two automata using a synchronous product /// - /// These variant allow changing the initial state of both automata + /// This variant allows changing the initial state of both automata /// in case you want to start the product at a different place. /// /// The resulting automaton will accept the sum of the languages