From 7531c886712eeee8413d94cc06af556bbbee413d Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 1 May 2016 13:28:27 +0200
Subject: [PATCH] * spot/twa/twagraph.cc: Fix comment.

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

diff --git a/spot/twa/twagraph.cc b/spot/twa/twagraph.cc
index 85481d4e6..4037ba72d 100644
--- a/spot/twa/twagraph.cc
+++ b/spot/twa/twagraph.cc
@@ -297,7 +297,7 @@ namespace spot
     for (auto& e: g_.edges())
       {
         all = bdd_exist(all, bdd_support(e.cond));
-        if (all == bddtrue)    // All letters are used.
+        if (all == bddtrue)    // All APs are used.
           return;
       }
     auto d = get_dict();