diff options
| author | Michael Schmidt <github@mschmidt.me> | 2016-08-30 10:36:30 +0200 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2016-08-30 10:36:30 +0200 |
| commit | 4a27ac909430e949c4ee0c155fd90ecd5709fda7 (patch) | |
| tree | 7f4c3a66df42b29fb2be466bf3b5e682df38d04f /cfrontend/C2C.ml | |
| parent | 082b69414e8b861286139fe7848561893d3f3702 (diff) | |
| download | compcert-kvx-4a27ac909430e949c4ee0c155fd90ecd5709fda7.tar.gz compcert-kvx-4a27ac909430e949c4ee0c155fd90ecd5709fda7.zip | |
bug 18004, fix some typos/grammar
Diffstat (limited to 'cfrontend/C2C.ml')
| -rw-r--r-- | cfrontend/C2C.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml index 4049907e..637c29ec 100644 --- a/cfrontend/C2C.ml +++ b/cfrontend/C2C.ml @@ -717,7 +717,7 @@ let rec convertExpr env e = let e2' = convertExpr env e2 in if Cutil.is_composite_type env e1.etyp && List.mem AVolatile (Cutil.attributes_of_type env e1.etyp) then - warning Cerrors.Unnamed "assignment to a lvalue of volatile composite type"; + warning Cerrors.Unnamed "assignment to an lvalue of volatile composite type"; ewrap (Ctyping.eassign e1' e2') | C.EBinop((C.Oadd_assign|C.Osub_assign|C.Omul_assign|C.Odiv_assign| C.Omod_assign|C.Oand_assign|C.Oor_assign|C.Oxor_assign| |