From c9716018ce6fe8d75ac52b7c26350949ec98e332 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 24578f268..3d7d2bc9e 100644
--- a/spot/twaalgos/strength.cc
+++ b/spot/twaalgos/strength.cc
@@ -85,7 +85,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)