From 984d48ddd200c8e7fb1ccf4e29b47acfaaf9ce9f Mon Sep 17 00:00:00 2001
From: Richard Brooksby <rb@ravenbrook.com>
Date: Wed, 27 Nov 2024 12:49:13 +0000
Subject: [PATCH] Clarifying that two AVERs are implementing .assume.parked in
 response to review comment
 <https://github.com/Ravenbrook/mps/pull/298#issuecomment-2503792676>.

---
 code/trans.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/code/trans.c b/code/trans.c
index 98ee717c59..90fb1e7fb3 100644
--- a/code/trans.c
+++ b/code/trans.c
@@ -163,8 +163,8 @@ Res TransformAddOldNew(Transform transform,
      lists (old_list, new_list), using ArenaRead.  Insisting on
      parking keeps things simple. */
   arena = transform->arena;
-  AVER(ArenaGlobals(arena)->clamped);
-  AVER(arena->busyTraces == TraceSetEMPTY);
+  AVER(ArenaGlobals(arena)->clamped);           /* .assume.parked */
+  AVER(arena->busyTraces == TraceSetEMPTY);     /* .assume.parked */
 
   res = TableGrow(transform->oldToNew, count);
   if (res != ResOK)