From 5098c91bd48257a367cb94bda965b797d574be78 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 6 Sep 2015 17:23:19 +0200
Subject: [PATCH] parseaut: fix typo in error message

* src/parseaut/parseaut.yy: Here.
* src/tests/parseaut.test: Adjust.
---
 src/parseaut/parseaut.yy | 2 +-
 src/tests/parseaut.test  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/parseaut/parseaut.yy b/src/parseaut/parseaut.yy
index 8d55f55a1..d7b4d61f5 100644
--- a/src/parseaut/parseaut.yy
+++ b/src/parseaut/parseaut.yy
@@ -1054,7 +1054,7 @@ unlabeled-edge: checked-state-num trans-acc_opt
 			fill_guards(res);
 		      if (res.cur_guard == res.guards.end())
 			{
-			  error(@$, "too many transition for this state, "
+			  error(@$, "too many transitions for this state, "
 				"ignoring this one");
 			  cond = bddfalse;
 			}
diff --git a/src/tests/parseaut.test b/src/tests/parseaut.test
index 7d53c3787..8ee2e819e 100755
--- a/src/tests/parseaut.test
+++ b/src/tests/parseaut.test
@@ -423,7 +423,7 @@ input:7.17-31: 'property: implicit-labels' is incompatible with...
 input:7.33-47: ... 'property: explicit-labels'.
 input:8.17-25: 'property: trans-acc' is incompatible with...
 input:8.27-35: ... 'property: state-acc'.
-input:16.7: too many transition for this state, ignoring this one
+input:16.7: too many transitions for this state, ignoring this one
 input:28.33-44: 'property: state-labels' is incompatible with...
 input:28.17-31: ... 'property: implicit-labels'.
 input:50.20-24: state-based acceptance used despite...