diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-31 13:55:33 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-31 13:55:33 +0100 |
| commit | 06f987da5845d641106420e2de9e5bf6dba55f7b (patch) | |
| tree | a47f458edd56a31eb3ec9a6ab229d20ce0b6f408 /cparser/Cutil.ml | |
| parent | 5a87284ff673fc43209086fd7dc92a7da90c1291 (diff) | |
| download | compcert-kvx-06f987da5845d641106420e2de9e5bf6dba55f7b.tar.gz compcert-kvx-06f987da5845d641106420e2de9e5bf6dba55f7b.zip | |
Improve indentation.
Diffstat (limited to 'cparser/Cutil.ml')
| -rw-r--r-- | cparser/Cutil.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Cutil.ml b/cparser/Cutil.ml index f55c1703..20cdc038 100644 --- a/cparser/Cutil.ml +++ b/cparser/Cutil.ml @@ -545,7 +545,7 @@ let offsetof env ty field = | TStruct (id,_) -> let str = Env.find_struct env id in let pre = sub [] field.fld_name str.ci_members in - begin match sizeof_struct env pre ,alignof env field.fld_typ with + begin match sizeof_struct env pre, alignof env field.fld_typ with | Some s, Some a -> align s a | _ -> assert false end |