From f2c6db6d490931e1d753cc37907d4a86fd1d4810 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 9 Feb 2004 21:01:34 +0000
Subject: [PATCH] * src/ltlparse/ltlparse.yy: Typo.

---
 ChangeLog                | 2 ++
 src/ltlparse/ltlparse.yy | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 92a9c6dc9..348c09ea6 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2004-02-09  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/ltlparse/ltlparse.yy: Typo.
+
 	* wrap/python/cgi/ltl2tgba.in: Use render_dot when
 	showing formula.
 	* wrap/python/cgi/README: Mention unique_id.
diff --git a/src/ltlparse/ltlparse.yy b/src/ltlparse/ltlparse.yy
index 1b12ab337..3f0966baf 100644
--- a/src/ltlparse/ltlparse.yy
+++ b/src/ltlparse/ltlparse.yy
@@ -74,7 +74,7 @@ using namespace spot::ltl;
 /* All tokens.  */
 
 %token <token> PAR_OPEN "opening parenthesis" PAR_CLOSE "closing parenthesis"
-%token <token> OP_OR "or operator" OP_XOR "xor operator" OP_AND "and operation"
+%token <token> OP_OR "or operator" OP_XOR "xor operator" OP_AND "and operator"
 %token <token> OP_IMPLIES "implication operator" OP_EQUIV "equivalent operator"
 %token <token> OP_U "until operator" OP_R "release operator"
 %token <token> OP_F "sometimes operator" OP_G "always operator"