From 9d22cb3c49a860ac0261b31b9bbfc5d8e260ebde Mon Sep 17 00:00:00 2001 From: Gareth Rees Date: Tue, 23 Oct 2012 15:42:17 +0100 Subject: Remove comment following discussion with rb: "assumes pun compatibility between rank and mps_rank_t which is checked by mpsi_check in " as this is no longer true: ranks no longer appear in the public interface, so their pun compatibility is no longer checked. Copied from Perforce Change: 180031 ServerID: perforce.ravenbrook.com --- mps/code/buffer.c | 2 -- 1 file changed, 2 deletions(-) (limited to 'mps/code/buffer.c') diff --git a/mps/code/buffer.c b/mps/code/buffer.c index 2128ffda0cf..f911a28c6b9 100644 --- a/mps/code/buffer.c +++ b/mps/code/buffer.c @@ -1494,8 +1494,6 @@ DEFINE_CLASS(SegBufClass, class) static Res rankBufInit (Buffer buffer, Pool pool, va_list args) { - /* Assumes pun compatibility between Rank and mps_rank_t */ - /* Which is checked by mpsi_check in */ Rank rank = va_arg(args, Rank); BufferClass super; Res res; -- cgit v1.2.1