diff --git a/mps/manual/source/topic/allocation.rst b/mps/manual/source/topic/allocation.rst index 512935c3765..d6d488e70dc 100644 --- a/mps/manual/source/topic/allocation.rst +++ b/mps/manual/source/topic/allocation.rst @@ -576,7 +576,7 @@ as refilling the buffer. The *reserve* operation thus looks like this:: if (ap->alloc + size <= ap->limit) { - ap->alloc += ap->size; + ap->alloc += size; p = ap->init; } else { res = mps_ap_fill(&p, ap, size);