From 1379deed055fc6b1462915a0177e75f4f9a127eb Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Tue, 30 Dec 2014 19:35:47 +0100
Subject: PR#12: regression introduced in commit 2d32afc

---
 cparser/Elab.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/cparser/Elab.ml b/cparser/Elab.ml
index f7168eba..615ddd97 100644
--- a/cparser/Elab.ml
+++ b/cparser/Elab.ml
@@ -1323,8 +1323,6 @@ let elab_expr loc env a =
 
   | CAST ((spec, dcl), ie) ->
       let (ty, _) = elab_type loc env spec dcl in
-      if wrap incomplete_type loc env ty then
-        err "incomplete type %a" Cprint.typ ty;
       begin match elab_initializer loc env "<compound literal>" ty ie with
       | (ty', Some i) -> { edesc = ECompound(ty', i); etyp = ty' }
       | (ty', None)   -> error "ill-formed compound literal"
-- 
cgit