From 4ac3143b53c3533a938669d0452e65f8676bf5a6 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 28 Mar 2018 10:27:50 +0200
Subject: [PATCH] * spot/twaalgos/strength.cc: Typo.

---
 spot/twaalgos/strength.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spot/twaalgos/strength.cc b/spot/twaalgos/strength.cc
index 736c0f0fd..42cc94251 100644
--- a/spot/twaalgos/strength.cc
+++ b/spot/twaalgos/strength.cc
@@ -86,7 +86,7 @@ namespace spot
                 break;
             }
         }
-      // A terminal automaton should accept any word that as a prefix
+      // A terminal automaton should accept any word that has a prefix
       // leading to an accepting edge.  In other words, we cannot have
       // an accepting edge that goes into a rejecting SCC.
       if (terminal && is_term && !ignore_trivial_term)