diff --git a/src/kernel_internals/parsing/logic_parser.mly b/src/kernel_internals/parsing/logic_parser.mly
index 9bc3b301edaa688add1e2ea3012fb778c3f81ba1..0907ce86f110b648160a1c0b43d0207acf4d0515 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: