CVS difference for arm/progs/arm_corr.adb

Differences between 1.12 and version 1.13
Log of other versions for file arm/progs/arm_corr.adb

--- arm/progs/arm_corr.adb	2007/12/20 07:43:32	1.12
+++ arm/progs/arm_corr.adb	2010/04/01 02:11:15	1.13
@@ -690,6 +690,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;
@@ -781,6 +783,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