diff --git a/mps/manual/source/topic/error.rst b/mps/manual/source/topic/error.rst index e65f6eafebd..fe515c9ca40 100644 --- a/mps/manual/source/topic/error.rst +++ b/mps/manual/source/topic/error.rst @@ -260,6 +260,13 @@ this documentation. :c:type:`mps_fmt_t` for this argument. +``global.c: PoolHasAttr(pool, AttrGC)`` + + The client program called :c:func:`mps_finalize` on a reference + that does not belong to an :term:`automatically managed ` :term:`pool`. + + ``lockix.c: res == 0`` ``lockw3.c: lock->claims == 0``