CVS difference for arm/progs/arm_text.adb

Differences between 1.21 and version 1.22
Log of other versions for file arm/progs/arm_text.adb

--- arm/progs/arm_text.adb	2007/12/20 07:43:33	1.21
+++ arm/progs/arm_text.adb	2010/04/01 02:11:16	1.22
@@ -557,6 +557,8 @@
 		 ARM_Contents.Subsubclause =>
 	        Ada.Text_IO.Put_Line (Output_Object.Output_File,
 				      Clause_Number & ' ' & Header_Text);
+	    when ARM_Contents.Dead_Clause =>
+		raise Program_Error; -- No headers for dead clauses.
 	end case;
 	Ada.Text_IO.New_Line (Output_Object.Output_File, 2);
 	Output_Object.Char_Count := 0;
@@ -641,6 +643,8 @@
 		ARM_Contents.Subsubclause =>
 	        Ada.Text_IO.Put_Line (Output_Object.Output_File,
 				      Clause_Number & ' ' & Header_Text);
+	    when ARM_Contents.Dead_Clause =>
+		raise Program_Error; -- No headers for dead clauses.
 	end case;
 	Ada.Text_IO.New_Line (Output_Object.Output_File, 2);
 	Output_Object.Char_Count := 0;

Questions? Ask the ACAA Technical Agent