From 8814f16637413abedf6fcde68b3da585df6a4cd8 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 13 Mar 2016 15:10:04 +0100
Subject: [PATCH] * python/ajax/spotcgi.in: Fix error message.

---
 python/ajax/spotcgi.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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('<div class="ec-error">Cannot run ' + opt
                            + ' 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 '
                            + 'want to try this algorithm.</div>')
         else:
             unbufprint('<div class="ec-error">Cannot run ' + opt
                        + ' 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 '
                        + 'want to try this algorithm.</div>')
         if ec_a: