From d8d2c5018d1b4b2c9875c2e643a0eda1dbfb5131 Mon Sep 17 00:00:00 2001 From: Richard Brooksby Date: Sat, 14 Jan 2023 10:04:48 +0000 Subject: [PATCH] Fixing duplicate tag design.mps.arena.tract.field.base. looks like a copy-paste error. --- mps/design/arena.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mps/design/arena.txt b/mps/design/arena.txt index d3688296833..e8df0817c29 100644 --- a/mps/design/arena.txt +++ b/mps/design/arena.txt @@ -293,7 +293,7 @@ that the private representation can share a common prefix with private representation whether such an object is allocated or not, without requiring an extra field. -_`.tract.field.base`: The seg field is a pointer to the segment +_`.tract.field.seg`: The seg field is a pointer to the segment containing the tract, or ``NULL`` if the tract is not contained in any segment.