From 6debdde3e23ca55646cbe23398d44e6e3f720b9f Mon Sep 17 00:00:00 2001
From: David Jones <drj@ravenbrook.com>
Date: Tue, 29 Sep 1998 17:31:29 +0100
Subject: [PATCH] Adding back in non-bogus checkt with tag

Copied from Perforce
 Change: 20150
 ServerID: perforce.ravenbrook.com
---
 mps/src/dbgpool.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/mps/src/dbgpool.c b/mps/src/dbgpool.c
index 749f63c8b35..682512d15ee 100644
--- a/mps/src/dbgpool.c
+++ b/mps/src/dbgpool.c
@@ -1,6 +1,6 @@
 /* impl.c.dbgpool: POOL DEBUG MIXIN
  *
- * $HopeName: MMsrc!dbgpool.c(trunk.4) $
+ * $HopeName: MMsrc!dbgpool.c(trunk.5) $
  * Copyright (C) 1998 Harlequin Group plc.  All rights reserved.
  *
  * .source: design.mps.object-debug
@@ -470,7 +470,8 @@ void mps_pool_check_fenceposts(mps_pool_t mps_pool)
   Pool pool = (Pool)mps_pool;
   Arena arena;
   
-  AVERT(Pool, pool);
+  /* CHECKT not AVERT, see design.mps.interface.c.check.space */
+  AVER(CHECKT(Pool, pool));
   arena = PoolArena(pool);
 
   ArenaEnter(arena);