diff options
Diffstat (limited to 'mps/code/pool.c')
| -rw-r--r-- | mps/code/pool.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mps/code/pool.c b/mps/code/pool.c index ad96054f7f0..1b90864cb31 100644 --- a/mps/code/pool.c +++ b/mps/code/pool.c | |||
| @@ -515,7 +515,7 @@ Res PoolDescribe(Pool pool, mps_lib_FILE *stream) | |||
| 515 | Res res; | 515 | Res res; |
| 516 | Ring node, nextNode; | 516 | Ring node, nextNode; |
| 517 | 517 | ||
| 518 | if (!CHECKT(Pool, pool)) return ResFAIL; | 518 | if (!TESTT(Pool, pool)) return ResFAIL; |
| 519 | if (stream == NULL) return ResFAIL; | 519 | if (stream == NULL) return ResFAIL; |
| 520 | 520 | ||
| 521 | res = WriteF(stream, | 521 | res = WriteF(stream, |