From 405af23d27c95148e86a5674084ef3e93c5b6168 Mon Sep 17 00:00:00 2001 From: Kevin Dinkel <1225857+dinkelk@users.noreply.github.com> Date: Tue, 9 Jul 2024 06:34:21 -0600 Subject: [PATCH] Fixes -gnatwj warnings in fault responses template --- .../fault_correction/gen/templates/fault_responses/name.ads | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/components/fault_correction/gen/templates/fault_responses/name.ads b/src/components/fault_correction/gen/templates/fault_responses/name.ads index 74185042..e08f808a 100644 --- a/src/components/fault_correction/gen/templates/fault_responses/name.ads +++ b/src/components/fault_correction/gen/templates/fault_responses/name.ads @@ -40,7 +40,7 @@ package {{ name }} is Arg_Buffer => ( {% if response.command.type_model %} {{ response.command_arg_type_model.name }}.Serialization.To_Byte_Array ({{ response.command_arg }}) & - (0 .. Command_Types.Command_Arg_Buffer_Type'Length - {{ response.command_arg_type_model.name }}.Size_In_Bytes - 1 => 0) + [0 .. Command_Types.Command_Arg_Buffer_Type'Length - {{ response.command_arg_type_model.name }}.Size_In_Bytes - 1 => 0] {% else %} others => 0 {% endif %} @@ -53,10 +53,10 @@ package {{ name }} is -- The fault response configuration list: -- - Fault_Response_List : constant Fault_Correction_Types.Fault_Response_Config_List := ( + Fault_Response_List : constant Fault_Correction_Types.Fault_Response_Config_List := [ {% for response in responses %} {{ loop.index0 }} => {{ response.full_fault_name_str }}_Response{{ "," if not loop.last }} {% endfor %} - ); + ]; end {{ name }};