diff --git a/python/ajax/spotcgi.in b/python/ajax/spotcgi.in index 1cd1bb6e1..a00310088 100755 --- a/python/ajax/spotcgi.in +++ b/python/ajax/spotcgi.in @@ -811,13 +811,13 @@ if output_type == 'r': else: unbufprint('
Cannot run ' + opt + ' on automata with less than ' + str(n_min) - + ' acceptance condition.
Please build ' + + ' acceptance set.
Please build ' + 'a degeneralized Büchi automaton if you ' + 'want to try this algorithm.
') else: unbufprint('
Cannot run ' + opt + ' on automata with more than ' + str(n_max) - + ' acceptance condition.
Please build ' + + ' acceptance set.
Please build ' + 'a degeneralized Büchi automaton if you ' + 'want to try this algorithm.
') if ec_a: