diff options
Diffstat (limited to 'mps/code/buffer.c')
| -rw-r--r-- | mps/code/buffer.c | 2 |
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 | ||
| 1495 | static Res rankBufInit (Buffer buffer, Pool pool, va_list args) | 1495 | static 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; |