From 5daf835c454c31dcf29b8b9832d9050cf5822516 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 29 Aug 2016 11:59:31 +0200
Subject: Fixed spelling mistake and unnamed fields.

The previous fix for duplicated members was also triggered for
unnamed members.
Bug 19665
---
 cparser/Elab.ml | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'cparser')

diff --git a/cparser/Elab.ml b/cparser/Elab.ml
index 1039a91d..a5032292 100644
--- a/cparser/Elab.ml
+++ b/cparser/Elab.ml
@@ -803,9 +803,12 @@ and elab_struct_or_union_info keep_ty kind loc env members attrs =
   let m = List.flatten m in
   ignore (List.fold_left (fun acc fld ->
     let n = fld.fld_name in
-    if List.exists ((=) n) acc then
-      error loc "duplicate memeber '%s'" n;
-    n::acc) [] m);
+    if n <> "" then begin
+      if List.exists ((=) n) acc then
+        error loc "duplicate member '%s'" n;
+      n::acc
+    end else
+      acc) [] m);
   (* Check for incomplete types *)
   let rec check_incomplete = function
   | [] -> ()
-- 
cgit