CVS difference for ai05s/ai05-0111-3.txt

--- ai05s/ai05-0111-3.txt	2011/10/21 06:42:21	1.17
+++ ai05s/ai05-0111-3.txt	2011/11/01 05:32:51	1.18
@@ -866,7 +866,7 @@
 ... -- @i<@ft<Allocate objects using "@b<new> Designated(...)">>
 Release(MR_Pool); -- Reclaim the storage.>
 @dby
-@xcode<My_Mark := Mark(MR_Pool);
+@xcode<My_Mark := Mark(Our_Pool);
 ... -- @i<@ft<Allocate objects using "@b<new> (My_Mark) Designated(...)">>
 Release(My_Mark); -- Finalize objects and reclaim storage.>