From 8c124bd989da3bcf09c61c8e89054aff8074189d Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 19 Apr 2022 09:12:35 +0200
Subject: [PATCH] [parser] fix rule name
---
src/kernel_internals/parsing/logic_parser.mly | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/kernel_internals/parsing/logic_parser.mly b/src/kernel_internals/parsing/logic_parser.mly
index c3f968a0c03..fb91e861657 100644
--- a/src/kernel_internals/parsing/logic_parser.mly
+++ b/src/kernel_internals/parsing/logic_parser.mly
@@ -1868,7 +1868,7 @@ any_identifier:
;
identifier_or_typename: /* allowed as C field names */
-| is_acsl_other_typename { $1 }
+| is_acsl_typename { $1 }
| TYPENAME { $1 } /* followed by the same list than 'identifier' */
| IDENTIFIER { $1 }
/* token list used inside ascl clauses: */
@@ -1889,7 +1889,7 @@ identifier: /* part included into 'identifier_or_typename', but duplicated to av
bounded_var:
| identifier { $1 }
-| is_acsl_other_typename /* Since TYPENAME cannot be accepted by lexpr rule */
+| is_acsl_typename /* Since TYPENAME cannot be accepted by lexpr rule */
{ raise
(Not_well_formed(loc (),
"Type names are not allowed as binding variable"))
--
GitLab