Remove comment following discussion with rb: "assumes pun compatibility between rank and mps_rank_t which is checked by mpsi_check in <code/mpsi.c>" 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

1 files changed, 0 insertions, 2 deletions

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 <code/mpsi.c> */
   Rank rank = va_arg(args, Rank);
   BufferClass super;
   Res res;