diff --git a/mps/code/mpsi.c b/mps/code/mpsi.c index 8e73a908395..5bebe0a55b0 100644 --- a/mps/code/mpsi.c +++ b/mps/code/mpsi.c @@ -740,8 +740,6 @@ mps_res_t mps_alloc(mps_addr_t *p_o, mps_pool_t pool, size_t size) /* . */ /* Rest ignored, see .varargs. */ - /* @@@@ There is currently no requirement for reservoirs to work */ - /* with unbuffered allocation. */ res = PoolAlloc(&p, pool, size); ArenaLeave(arena);