From e5aebfd59c8c30f326ab59e2211f74e4e12e4192 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 1 Oct 2015 11:36:15 +0200
Subject: [PATCH] * wrap/python/ajax/spotcgi.in: Fix typo.

---
 wrap/python/ajax/spotcgi.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/wrap/python/ajax/spotcgi.in b/wrap/python/ajax/spotcgi.in
index 3db1e98ef..ced25bad9 100755
--- a/wrap/python/ajax/spotcgi.in
+++ b/wrap/python/ajax/spotcgi.in
@@ -366,7 +366,7 @@ def print_stats(automaton, detinfo = False, ta = False):
             unbufprint(", acceptance condition: Büchi")
         else:
             unbufprint(", acceptance condition: " + str(acc))
-            if acc.is_true():
+            if acc.is_tt():
                 unbufprint(" (all cycles are accepting)")
     unbufprint("</p>\n")
     # Decide whether we will render the automaton or not.