aboutsummaryrefslogtreecommitdiffstats
path: root/mps/code/buffer.c
diff options
context:
space:
mode:
Diffstat (limited to 'mps/code/buffer.c')
-rw-r--r--mps/code/buffer.c2
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)
1494 1494
1495static Res rankBufInit (Buffer buffer, Pool pool, va_list args) 1495static Res rankBufInit (Buffer buffer, Pool pool, va_list args)
1496{ 1496{
1497 /* Assumes pun compatibility between Rank and mps_rank_t */
1498 /* Which is checked by mpsi_check in <code/mpsi.c> */
1499 Rank rank = va_arg(args, Rank); 1497 Rank rank = va_arg(args, Rank);
1500 BufferClass super; 1498 BufferClass super;
1501 Res res; 1499 Res res;