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);
           }
         }