alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* wrap/python/ajax/spotcgi.in: Fix typo.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-10-01 11:36:15 +02:00
parent c43245e778
commit e5aebfd59c
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
wrap/python/ajax/spotcgi.in
View file

@ -366,7 +366,7 @@ def print_stats(automaton, detinfo = False, ta = False):
unbufprint(", acceptance condition: Büchi") unbufprint(", acceptance condition: Büchi")
else: else:
unbufprint(", acceptance condition: " + str(acc)) unbufprint(", acceptance condition: " + str(acc))
if acc.is_true(): if acc.is_tt():
unbufprint(" (all cycles are accepting)") unbufprint(" (all cycles are accepting)")
unbufprint("</p>\n") unbufprint("</p>\n")
# Decide whether we will render the automaton or not. # Decide whether we will render the automaton or not.