From 2f7fda433c48b3205f5bc73eeed4debcd92e9ccb Mon Sep 17 00:00:00 2001
From: Gareth Rees <gdr@ravenbrook.com>
Date: Fri, 19 Jun 2015 12:08:35 +0100
Subject: [PATCH] Document the assertion failure for an attempt to finalize an
 unfinalizable reference.

Copied from Perforce
 Change: 187966
 ServerID: perforce.ravenbrook.com
---
 mps/manual/source/topic/error.rst | 7 +++++++
 1 file changed, 7 insertions(+)

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 <automatic
+    memory management>` :term:`pool`.
+
+
 ``lockix.c: res == 0``
 
 ``lockw3.c: lock->claims == 0``