From 99241d0bea5e7a39df2b0652a43dd193ff06b64a Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 11 Jun 2021 11:46:55 +0200
Subject: [PATCH] typos: coma -> comma

* ChangeLog.1, tests/core/autcross3.test, tests/core/ltl3ba.test,
tests/core/ltl3dra.test, tests/core/ltlcross3.test,
tests/core/ltlsynt.test, tests/sanity/style.test: Here.
---
 ChangeLog.1               | 2 +-
 tests/core/autcross3.test | 4 ++--
 tests/core/ltl3ba.test    | 6 +++---
 tests/core/ltl3dra.test   | 4 ++--
 tests/core/ltlcross3.test | 4 ++--
 tests/core/ltlsynt.test   | 2 +-
 tests/sanity/style.test   | 4 ++--
 7 files changed, 13 insertions(+), 13 deletions(-)

diff --git a/ChangeLog.1 b/ChangeLog.1
index 178c4050e..92474b480 100644
--- a/ChangeLog.1
+++ b/ChangeLog.1
@@ -7390,7 +7390,7 @@
 	* src/ltlvisit/reducform.cc (reduce_form_visitor): Rename as ...
 	(reduce_visitor): ... this.
 	* src/ltltest/inf.cc: Adjust calls.
-	* src/sanity/style.test: Improve missing-space after coma detection.
+	* src/sanity/style.test: Improve missing-space after comma detection.
 
 2004-05-26  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
diff --git a/tests/core/autcross3.test b/tests/core/autcross3.test
index 9afc50fe8..2062d7faf 100755
--- a/tests/core/autcross3.test
+++ b/tests/core/autcross3.test
@@ -1,6 +1,6 @@
 #!/bin/sh
 # -*- coding: utf-8 -*-
-# Copyright (C) 2017 Laboratoire de Recherche et Développement de
+# Copyright (C) 2017, 2021 Laboratoire de Recherche et Développement de
 # l'Epita (LRDE).
 #
 # This file is part of Spot, a model checking library.
@@ -24,7 +24,7 @@ set -e
 
 check_csv()
 {
-  # Make sure all lines in $1 have the same number of comas
+  # Make sure all lines in $1 have the same number of commas
   sed 's/[^,]//g' < "$1" |
   ( read first
   while read l; do
diff --git a/tests/core/ltl3ba.test b/tests/core/ltl3ba.test
index 105a34b7b..fdcebc926 100755
--- a/tests/core/ltl3ba.test
+++ b/tests/core/ltl3ba.test
@@ -1,7 +1,7 @@
 #!/bin/sh
 # -*- coding: utf-8 -*-
-# Copyright (C) 2016, 2017, 2018 Laboratoire de Recherche et Développement
-# de l'Epita (LRDE).
+# Copyright (C) 2016-2018, 2021 Laboratoire de Recherche et
+# Développement de l'Epita (LRDE).
 #
 # This file is part of Spot, a model checking library.
 #
@@ -52,7 +52,7 @@ EOF
 
 grep _x output.csv && exit 1
 
-# Make sure all lines in output.csv have the same number of comas
+# Make sure all lines in output.csv have the same number of commas
 sed 's/[^,]//g' <output.csv |
 ( read first
 while read l; do
diff --git a/tests/core/ltl3dra.test b/tests/core/ltl3dra.test
index 55348a420..25fed502d 100755
--- a/tests/core/ltl3dra.test
+++ b/tests/core/ltl3dra.test
@@ -1,6 +1,6 @@
 #!/bin/sh
 # -*- coding: utf-8 -*-
-# Copyright (C) 2015, 2016 Laboratoire de Recherche et
+# Copyright (C) 2015, 2016, 2021 Laboratoire de Recherche et
 # Développement de l'Epita (LRDE).
 #
 # This file is part of Spot, a model checking library.
@@ -53,7 +53,7 @@ ltldo ltl3dra -f '"a=0" & p0' | grep 'AP: 2.*p0'
 #          --ignore-execution-failures --ambiguous \
 #          --strength --csv=output.csv
 #
-# # Make sure all lines in output.csv have the same number of comas
+# # Make sure all lines in output.csv have the same number of commas
 # sed 's/[^,]//g' <output.csv |
 # ( read first
 # while read l; do
diff --git a/tests/core/ltlcross3.test b/tests/core/ltlcross3.test
index 590d369ae..6e19b445d 100755
--- a/tests/core/ltlcross3.test
+++ b/tests/core/ltlcross3.test
@@ -1,6 +1,6 @@
 #!/bin/sh
 # -*- coding: utf-8 -*-
-# Copyright (C) 2012-2020 Laboratoire de Recherche et Développement de
+# Copyright (C) 2012-2021 Laboratoire de Recherche et Développement de
 # l'Epita (LRDE).
 #
 # This file is part of Spot, a model checking library.
@@ -23,7 +23,7 @@ set -e
 
 check_csv()
 {
-  # Make sure all lines in $1 have the same number of comas
+  # Make sure all lines in $1 have the same number of commas
   sed 's/[^,]//g' < "$1" |
   ( read first
   while read l; do
diff --git a/tests/core/ltlsynt.test b/tests/core/ltlsynt.test
index 97a431872..04a65c232 100644
--- a/tests/core/ltlsynt.test
+++ b/tests/core/ltlsynt.test
@@ -219,7 +219,7 @@ for r in '' '--real'; do
     ltlsynt --algo=lar $opts 'FGc <-> GF(!b&XXb)' --csv='>>FILE' || :
     ltlsynt --algo=lar.old $opts 'FGa <-> GF(c&a)' --csv='>>FILE' || :
     test 6 = `wc -l < FILE`
-    # Make sure all lines in FILE have the same number of comas
+    # Make sure all lines in FILE have the same number of commas
     sed 's/[^,]//g' < FILE |
         ( read first
           while read l; do
diff --git a/tests/sanity/style.test b/tests/sanity/style.test
index ce33c63ac..59c2f5c31 100755
--- a/tests/sanity/style.test
+++ b/tests/sanity/style.test
@@ -1,6 +1,6 @@
 #! /bin/sh
 # -*- coding: utf-8 -*-
-# Copyright (C) 2009-2020 Laboratoire de Recherche et Développement de
+# Copyright (C) 2009-2021 Laboratoire de Recherche et Développement de
 # l'Epita (LRDE).
 # Copyright (C) 2004, 2005 Laboratoire d'Informatique de Paris 6
 # (LIP6), département Systèmes Répartis Coopératifs (SRC), Université
@@ -207,7 +207,7 @@ for dir in "$TOP/spot" "$TOP/bin" "$TOP/tests"; do
 	diag 'No space after unary operators (!).'
 
       $GREP ",[^ \"	%'\\\\]" $tmp &&
-	diag 'Space after coma.'
+	diag 'Space after comma.'
 
       # The 'r' allows operator&&
       # The '.' allows &&...