diff options
| author | Michael Schmidt <github@mschmidt.me> | 2015-10-14 15:07:48 +0200 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2015-10-14 15:07:48 +0200 |
| commit | 60ab550a952c3d9719b2a91ec90c9b58769f6717 (patch) | |
| tree | 523cf4eb5a35594b16a297b4bd7e29157f42b0fc /cparser/Cutil.mli | |
| parent | a479c280441b91007c379b0b63b907926d54f930 (diff) | |
| download | compcert-kvx-60ab550a952c3d9719b2a91ec90c9b58769f6717.tar.gz compcert-kvx-60ab550a952c3d9719b2a91ec90c9b58769f6717.zip | |
bug 17392: remove trailing whitespace in source files
Diffstat (limited to 'cparser/Cutil.mli')
| -rw-r--r-- | cparser/Cutil.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cparser/Cutil.mli b/cparser/Cutil.mli index a09316ad..8b6c609b 100644 --- a/cparser/Cutil.mli +++ b/cparser/Cutil.mli @@ -69,7 +69,7 @@ type attr_handling = | AttrIgnoreAll val compatible_types : attr_handling -> Env.t -> typ -> typ -> bool - (* Check that the two given types are compatible. + (* Check that the two given types are compatible. The attributes in the types are compared according to the first argument: - [AttrCompat]: the types must have the same standard attributes ([const], [volatile], [restrict]) but may differ on custom attributes. @@ -229,7 +229,7 @@ val ecommalist : exp list -> exp -> exp val sskip: stmt (* The [skip] statement. No location. *) val sseq : location -> stmt -> stmt -> stmt - (* Return the statement [s1; s2], optimizing the cases + (* Return the statement [s1; s2], optimizing the cases where [s1] or [s2] is [skip], or [s2] is a block. *) val sassign : location -> exp -> exp -> stmt (* Return the statement [exp1 = exp2;] *) |