From be1f993b4db73ddc94dbefa24c073d203777feb3 Mon Sep 17 00:00:00 2001
From: Gareth Rees <gdr@ravenbrook.com>
Date: Wed, 7 Nov 2012 13:43:00 +0000
Subject: [PATCH] Add "lockw3.c: lock->claims == 0" to list of assertions.

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

diff --git a/mps/manual/source/topic/error.rst b/mps/manual/source/topic/error.rst
index b584fcd7f5e..c0178a38d8d 100644
--- a/mps/manual/source/topic/error.rst
+++ b/mps/manual/source/topic/error.rst
@@ -235,6 +235,8 @@ this documentation.
 
 ``lockix.c: res == 0``
 
+``lockw3.c: lock->claims == 0``
+
     The client program has made a re-entrant call into the MPS. Look
     at the backtrace to see what it was. Common culprits are
     :term:`format methods` and :term:`stepper functions`.