diff options
| author | Richard Brooksby | 2013-02-08 16:17:34 +0000 |
|---|---|---|
| committer | Richard Brooksby | 2013-02-08 16:17:34 +0000 |
| commit | 2706097eab7b3d1aa9429ef0e4ea1ac9f3c6edbe (patch) | |
| tree | 01b97e7abdada2c711cf5139952feee4ec71ba97 /mps/code/buffer.c | |
| parent | ab2c28cae42410c7b5edca80f1de8a9789494b52 (diff) | |
| parent | b31cda511d16f6a9947cead9341a1dfff5524cce (diff) | |
| download | emacs-2706097eab7b3d1aa9429ef0e4ea1ac9f3c6edbe.tar.gz emacs-2706097eab7b3d1aa9429ef0e4ea1ac9f3c6edbe.zip | |
Integrating branch/2012-10-09/user-guide back to master.
Copied from Perforce
Change: 180943
ServerID: perforce.ravenbrook.com
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; |