Clarifying that two AVERs are implementing .assume.parked in response…

… to review comment <#298 (comment)>.
Ravenbrook · Nov 27, 2024 · 984d48d · 984d48d
1 parent 25931a4
commit 984d48d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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)