--- ai05s/ai05-0027-1.txt 2008/11/27 00:01:29 1.10 +++ ai05s/ai05-0027-1.txt 2008/11/27 01:47:20 1.11 @@ -149,7 +149,7 @@ in Container, starting with the first node and moving the cursor according to the successor relation. Program_Error is propagated if Process.@b<all> tampers with the cursors of Container. Any exception raised by Process.@b<all> -is propagated. +is propagated.> @dinss @s8<@i<Bounded Error>>