diff options
author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2020-03-04 18:18:40 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-04 18:18:40 +0100 |
commit | 039b532ae972292ec2f726505422afd49569b738 (patch) | |
tree | 89dd641804813c9125480ae5035be29c4933b8a7 /cparser/Elab.ml | |
parent | c11b19619e82377be9c43e926d66086124637044 (diff) | |
download | compcert-kvx-039b532ae972292ec2f726505422afd49569b738.tar.gz compcert-kvx-039b532ae972292ec2f726505422afd49569b738.zip |
Include typedef name in error message (#228)
In case of redefinition of a typedef name with a different type.
Diffstat (limited to 'cparser/Elab.ml')
-rw-r--r-- | cparser/Elab.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cparser/Elab.ml b/cparser/Elab.ml index f60e15a3..9e17cb7e 100644 --- a/cparser/Elab.ml +++ b/cparser/Elab.ml @@ -2428,8 +2428,8 @@ let enter_typedef loc env sto (s, ty, init) = env end else begin - error loc "typedef redefinition with different types (%a vs %a)" - (print_typ env) ty (print_typ env) ty'; + error loc "redefinition of typedef '%s' with different type (%a vs %a)" + s (print_typ env) ty (print_typ env) ty'; env end | _ -> |