CVS difference for arm/source/11.mss

Differences between 1.21 and version 1.22
Log of other versions for file arm/source/11.mss

--- arm/source/11.mss	2000/08/23 00:31:01	1.21
+++ arm/source/11.mss	2000/08/25 04:02:56	1.22
@@ -1,10 +1,10 @@
 @Part(11, Root="ada.mss")
 
-@Comment{$Date: 2000/08/23 00:31:01 $}
+@Comment{$Date: 2000/08/25 04:02:56 $}
 @LabeledSection{Exceptions}
 
 @Comment{$Source: e:\\cvsroot/ARM/Source/11.mss,v $}
-@Comment{$Revision: 1.21 $}
+@Comment{$Revision: 1.22 $}
 
 @begin{Intro}
 @redundant[This section defines the facilities for dealing with errors or other
@@ -1171,6 +1171,7 @@
 @end{StaticSem}
 
 @begin{Erron}
+@PDefn2{Term=(erroneous execution),Sec=(cause)}
 If a given check has been suppressed,
 and the corresponding error situation occurs,
 the execution of the program is erroneous.

Questions? Ask the ACAA Technical Agent