From 60ab550a952c3d9719b2a91ec90c9b58769f6717 Mon Sep 17 00:00:00 2001 From: Michael Schmidt Date: Wed, 14 Oct 2015 15:07:48 +0200 Subject: bug 17392: remove trailing whitespace in source files --- cparser/Cutil.mli | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'cparser/Cutil.mli') 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;] *) -- cgit