From ac655f3c8eb348b84c5ba3e3ed41977d36849ea5 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Mon, 5 Dec 2016 06:55:32 +0100
Subject: Removing a redundant line in the syntax of record fields.

---
 parsing/g_constr.ml4 | 1 -
 1 file changed, 1 deletion(-)

diff --git a/parsing/g_constr.ml4 b/parsing/g_constr.ml4
index 7316a4335a..22d4c68c35 100644
--- a/parsing/g_constr.ml4
+++ b/parsing/g_constr.ml4
@@ -223,7 +223,6 @@ GEXTEND Gram
 
   record_fields:
     [ [ f = record_field_declaration; ";"; fs = record_fields -> f :: fs
-      | f = record_field_declaration; ";" -> [f]
       | f = record_field_declaration -> [f]
       | -> []
     ] ]
-- 
cgit v1.2.3