diff --git a/mps/code/poolams.c b/mps/code/poolams.c index cf65d80c1e3..d1d9b4b343a 100644 --- a/mps/code/poolams.c +++ b/mps/code/poolams.c @@ -1597,6 +1597,8 @@ static Res AMSDescribe(Pool pool, mps_lib_FILE *stream) if (stream == NULL) return ResFAIL; res = WriteF(stream, + "AMS $P {\n", (WriteFP)ams, + " pool $P ($U)\n", (WriteFP)pool, (WriteFU)pool->serial, " size $W\n", (WriteFW)ams->size, @@ -1619,6 +1621,11 @@ static Res AMSDescribe(Pool pool, mps_lib_FILE *stream) res = SegDescribe(AMSSeg2Seg(amsseg), stream); if (res != ResOK) return res; } + + res = WriteF(stream, "} AMS $P\n",(WriteFP)ams, NULL); + if (res != ResOK) + return res; + return ResOK; }