From e8c2b27ad20342fcff89dc7c33ce18378be5b092 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 15 Dec 2023 11:31:55 +0100
Subject: [PATCH] * spot/tl/hierarchy.cc: Typo in comment.

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

diff --git a/spot/tl/hierarchy.cc b/spot/tl/hierarchy.cc
index a94938009..3ab6f5930 100644
--- a/spot/tl/hierarchy.cc
+++ b/spot/tl/hierarchy.cc
@@ -293,7 +293,7 @@ namespace spot
         else
           return s ? 'S' : 'O';
       }
-    // Not an obligation.  Could by 'P', 'R', or 'T'.
+    // Not an obligation.  Could be 'P', 'R', or 'T'.
     if (is_recurrence(f, aut))
       return 'R';
     if (is_persistence(f, aut))