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

* python/ajax/spotcgi.in: Fix error message.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2016-03-13 15:10:04 +01:00
parent e081926885
commit 8814f16637
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
python/ajax/spotcgi.in
View file

@ -811,13 +811,13 @@ if output_type == 'r':
else: else:
unbufprint('<div class="ec-error">Cannot run ' + opt unbufprint('<div class="ec-error">Cannot run ' + opt
+ ' on automata with less than ' + str(n_min) + ' on automata with less than ' + str(n_min)
+ ' acceptance condition.<br/>Please build ' + ' acceptance set.<br/>Please build '
+ 'a degeneralized B&uuml;chi automaton if you ' + 'a degeneralized B&uuml;chi automaton if you '
+ 'want to try this algorithm.</div>') + 'want to try this algorithm.</div>')
else: else:
unbufprint('<div class="ec-error">Cannot run ' + opt unbufprint('<div class="ec-error">Cannot run ' + opt
+ ' on automata with more than ' + str(n_max) + ' on automata with more than ' + str(n_max)
+ ' acceptance condition.<br/>Please build ' + ' acceptance set.<br/>Please build '
+ 'a degeneralized B&uuml;chi automaton if you ' + 'a degeneralized B&uuml;chi automaton if you '
+ 'want to try this algorithm.</div>') + 'want to try this algorithm.</div>')
if ec_a: if ec_a: