From 2364ff8148d452f6ed59fe854ebf83fd2d9373d0 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 21 Jan 2016 19:08:26 +0100
Subject: [PATCH] typos

* bin/autfilt.cc, spot/twaalgos/degen.cc, spot/twaalgos/dtwasat.cc,
spot/twaalgos/remfin.cc, spot/twaalgos/sccfilter.cc: "only work" ->
"only works".
---
 bin/autfilt.cc             | 4 ++--
 spot/twaalgos/degen.cc     | 6 +++---
 spot/twaalgos/dtwasat.cc   | 4 ++--
 spot/twaalgos/remfin.cc    | 2 +-
 spot/twaalgos/sccfilter.cc | 6 +++---
 5 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/bin/autfilt.cc b/bin/autfilt.cc
index c1da0479e..317facbfa 100644
--- a/bin/autfilt.cc
+++ b/bin/autfilt.cc
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2013, 2014, 2015 Laboratoire de Recherche et
+// Copyright (C) 2013, 2014, 2015, 2016 Laboratoire de Recherche et
 // Développement de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -179,7 +179,7 @@ static const argp_option options[] =
       "if both Inf(x) and Fin(x) appear in the acceptance condition, replace "
       "Fin(x) by a new Fin(y) and adjust the automaton", 0 },
     { "sat-minimize", OPT_SAT_MINIMIZE, "options", OPTION_ARG_OPTIONAL,
-      "minimize the automaton using a SAT solver (only work for deterministic"
+      "minimize the automaton using a SAT solver (only works for deterministic"
       " automata)", 0 },
     /**************************************************/
     { nullptr, 0, nullptr, 0, "Filtering options:", 6 },
diff --git a/spot/twaalgos/degen.cc b/spot/twaalgos/degen.cc
index 522824f84..8491cd53f 100644
--- a/spot/twaalgos/degen.cc
+++ b/spot/twaalgos/degen.cc
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2012, 2013, 2014, 2015 Laboratoire de Recherche et
-// Développement de l'Epita.
+// Copyright (C) 2012, 2013, 2014, 2015, 2016 Laboratoire de Recherche
+// et Développement de l'Epita.
 //
 // This file is part of Spot, a model checking library.
 //
@@ -196,7 +196,7 @@ namespace spot
     {
       if (!a->acc().is_generalized_buchi())
 	throw std::runtime_error
-	  ("degeneralize() can only work with generalized Büchi acceptance");
+	  ("degeneralize() can only works with generalized Büchi acceptance");
 
       bool use_scc = use_lvl_cache || use_cust_acc_orders || use_z_lvl;
 
diff --git a/spot/twaalgos/dtwasat.cc b/spot/twaalgos/dtwasat.cc
index c1f3e9fa0..485007b21 100644
--- a/spot/twaalgos/dtwasat.cc
+++ b/spot/twaalgos/dtwasat.cc
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2013, 2014, 2015 Laboratoire de Recherche et
+// Copyright (C) 2013, 2014, 2015, 2016 Laboratoire de Recherche et
 // Développement de l'Epita.
 //
 // This file is part of Spot, a model checking library.
@@ -1294,7 +1294,7 @@ namespace spot
 
     if (!is_deterministic(a))
       throw std::runtime_error
-	("SAT-based minimization only work with deterministic automata");
+	("SAT-based minimization only works with deterministic automata");
 
     bool dicho = om.get("dichotomy", 0);
     int states = om.get("states", -1);
diff --git a/spot/twaalgos/remfin.cc b/spot/twaalgos/remfin.cc
index 4b9b44cd3..412e0c6a1 100644
--- a/spot/twaalgos/remfin.cc
+++ b/spot/twaalgos/remfin.cc
@@ -133,7 +133,7 @@ namespace spot
     // Specialized conversion from Rabin acceptance to Büchi acceptance.
     // Is able to detect SCCs that are Büchi-type (i.e., they can be
     // converted to Büchi acceptance without chaning their structure).
-    // Currently only work with state-based acceptance.
+    // Currently only works with state-based acceptance.
     //
     // See "Deterministic ω-automata vis-a-vis Deterministic Büchi
     // Automata", S. Krishnan, A. Puri, and R. Brayton (ISAAC'94) for
diff --git a/spot/twaalgos/sccfilter.cc b/spot/twaalgos/sccfilter.cc
index 154049fee..54f7af005 100644
--- a/spot/twaalgos/sccfilter.cc
+++ b/spot/twaalgos/sccfilter.cc
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2009, 2010, 2011, 2012, 2013, 2014, 2015 Laboratoire
-// de Recherche et Développement de l'Epita (LRDE).
+// Copyright (C) 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016
+// Laboratoire de Recherche et Développement de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
 //
@@ -356,7 +356,7 @@ namespace spot
 	     scc_info* given_si)
   {
     twa_graph_ptr res;
-    // acc_filter_simplify only work for generalized Büchi
+    // acc_filter_simplify only works for generalized Büchi
     if (aut->acc().is_generalized_buchi())
       {
 	if (remove_all_useless)
-- 
GitLab