CVS difference for arm/progs/arm_rtf.adb

Differences between 1.35 and version 1.36
Log of other versions for file arm/progs/arm_rtf.adb

--- arm/progs/arm_rtf.adb	2009/05/07 03:19:31	1.35
+++ arm/progs/arm_rtf.adb	2009/10/28 19:39:00	1.36
@@ -6,7 +6,8 @@
      Ada.Strings.Maps,
      Ada.Strings.Fixed,
      Ada.Characters.Handling,
-     Ada.Calendar;
+     Ada.Calendar,
+     Ada.Unchecked_Conversion;
 package body ARM_RTF is
 
     --
@@ -3311,6 +3312,8 @@
 	            Heading_4_Info, Count);
 	        Ada.Text_IO.Put_Line (Output_Object.Output_File,
 		     Clause_Number & " " & Header_Text & "\par}");
+	    when ARM_Contents.Dead_Clause =>
+		raise Program_Error; -- No headers for dead clauses.
 	end case;
 	Output_Object.Char_Count := 0;
     end Clause_Header;
@@ -3397,6 +3400,8 @@
 	            Heading_4_Info, Count);
 	        Ada.Text_IO.Put_Line (Output_Object.Output_File,
 		     Clause_Number & " " & Header_Text & "\par}");
+	    when ARM_Contents.Dead_Clause =>
+		raise Program_Error; -- No headers for dead clauses.
 	end case;
 	Output_Object.Char_Count := 0;
     end Revised_Clause_Header;

Questions? Ask the ACAA Technical Agent