From f277c11a7e0e4b6376297f80a65b22a8fd6c7587 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Mon, 15 Apr 2019 10:18:43 +0200
Subject: [PATCH] [ACSL] grammar extension for ACSL-importer
---
src/kernel_internals/parsing/logic_parser.mly | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/kernel_internals/parsing/logic_parser.mly b/src/kernel_internals/parsing/logic_parser.mly
index 4f81bcc7f24..4682d062852 100644
--- a/src/kernel_internals/parsing/logic_parser.mly
+++ b/src/kernel_internals/parsing/logic_parser.mly
@@ -921,12 +921,12 @@ ext_global_clause:
| INCLUDE string SEMICOLON { let b,s = $2 in Ext_include(b,s, loc()) }
;
-ext_global_specs_opt:
+ext_global_specs_opt:
| /* empty */ { [] }
| ext_global_specs { $1 }
;
-ext_global_specs:
+ext_global_specs:
| ext_global_spec { [$1] }
| ext_global_spec ext_global_specs { $1::$2 }
;
@@ -934,8 +934,8 @@ ext_global_specs:
ext_global_spec:
| ext_module_markup ext_global_clauses_opt ext_module_specs
{ (Some $1),$2,$3 }
-| ext_module_markup
- { (Some $1),[],[] }
+| ext_module_markup ext_global_clauses_opt
+ { (Some $1),$2,[] }
;
ext_module_specs_opt:
--
GitLab