From 9ea3e4e3e66e57d9c479d461e8d3cd1d02ab90d7 Mon Sep 17 00:00:00 2001
From: Richard Kistruck <rhsk@ravenbrook.com>
Date: Mon, 19 Mar 2007 13:56:37 +0000
Subject: [PATCH] Mps branch unfixed-summary: leave in aver to catch fix of
 exact

ref into buffer (if my sums are correct)

Copied from Perforce
 Change: 161948
 ServerID: perforce.ravenbrook.com
---
 mps/code/trace.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mps/code/trace.c b/mps/code/trace.c
index a8591ee49d7..63d993e105b 100644
--- a/mps/code/trace.c
+++ b/mps/code/trace.c
@@ -1270,7 +1270,7 @@ Res TraceFix(ScanState ss, Ref *refIO)
             if (ref >= limit) {
               printf("ref(%d) >= limit for %d-th TraceFix in a seg.\n", ss->rank, iTF);
             }
-            /* AVER(ref < limit); */
+            AVER(ref < limit);
           }
         }