From 37a01e94c17853d3ff2a79a15a002ea4e1756f5e Mon Sep 17 00:00:00 2001
From: David Jones <drj@ravenbrook.com>
Date: Mon, 11 Dec 1995 13:58:08 +0000
Subject: [PATCH] Null is not an addr

Copied from Perforce
 Change: 15101
 ServerID: perforce.ravenbrook.com
---
 mps/src/pooln.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/mps/src/pooln.c b/mps/src/pooln.c
index 1ae5bb0a7e5..8099f331fb8 100644
--- a/mps/src/pooln.c
+++ b/mps/src/pooln.c
@@ -2,7 +2,7 @@
  *
  *                         NULL POOL
  *
- *  $HopeName: MMsrc/!pooln.c(trunk.1)$
+ *  $HopeName: MMsrc/!pooln.c(trunk.2)$
  *
  *  Copyright(C) 1995 Harlequin Group, all rights reserved
  *
@@ -178,7 +178,7 @@ static void free_(Pool pool, Addr old, Size size)
 {
   AVER(ISVALID(Pool, pool));
   AVER(pool->class == &PoolClassNStruct);
-  AVER(old != NULL);
+  AVER(old != (Addr)0);
   AVER(size > 0);
 #ifndef DEBUG_ASSERT
   UNUSED(pool);