From ded1c3e329a296101b7d005e98f02e8a5efa70a0 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 18 Jan 2019 15:30:13 +0100
Subject: [PATCH] [ACSL] fix the fix on logic reads
---
src/kernel_internals/parsing/logic_parser.mly | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_internals/parsing/logic_parser.mly b/src/kernel_internals/parsing/logic_parser.mly
index 9bc3b301eda..0907ce86f11 100644
--- a/src/kernel_internals/parsing/logic_parser.mly
+++ b/src/kernel_internals/parsing/logic_parser.mly
@@ -1656,7 +1656,7 @@ logic_decl_loc:
reads_clause:
| /* epsilon */ { None }
-| READS full_ne_zones { Some $2 }
+| READS full_zones { Some $2 }
;
typedef:
--
GitLab