diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-30 19:35:47 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-30 19:35:47 +0100 |
commit | 1379deed055fc6b1462915a0177e75f4f9a127eb (patch) | |
tree | 979c60f1827b9a7e40e795fcbe0c256df66faff2 | |
parent | 3b8a094dafdeea5499239adadaf24d2b8bdb1f76 (diff) | |
download | compcert-1379deed055fc6b1462915a0177e75f4f9a127eb.tar.gz compcert-1379deed055fc6b1462915a0177e75f4f9a127eb.zip |
PR#12: regression introduced in commit 2d32afc
-rw-r--r-- | cparser/Elab.ml | 2 |
1 files changed, 0 insertions, 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" |