From cf80d05f73cf6521adf1acf87cac5076288f1291 Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Mon, 25 Jan 2021 13:02:54 +0100 Subject: [PATCH] alr-commands-init.adb: fix generated gpr file (#665) #664 --- src/alr/alr-commands-init.adb | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/alr/alr-commands-init.adb b/src/alr/alr-commands-init.adb index 52491c90..e2f77e51 100644 --- a/src/alr/alr-commands-init.adb +++ b/src/alr/alr-commands-init.adb @@ -162,7 +162,7 @@ package body Alr.Commands.Init is Put_New_Line; Put_Line (" Style_Checks_Switches := ();"); Put_Line (" case Style_Checks is"); - Put_Line (" when ""enabled"" => null;"); + Put_Line (" when ""enabled"" =>"); Put_Line (" Style_Checks_Switches :="); Put_Line (" (""-gnatyg"", -- GNAT Style checks"); Put_Line (" ""-gnaty-d"", -- Disable no DOS line terminators"); @@ -173,10 +173,10 @@ package body Alr.Commands.Init is Put_New_Line; Put_Line (" Contracts_Switches := ();"); Put_Line (" case Contracts_Checks is"); - Put_Line (" when ""enabled"" => null;"); + Put_Line (" when ""enabled"" =>"); Put_Line (" Contracts_Switches :="); Put_Line (" (""-gnata""); -- Enable assertions and contracts"); - Put_Line (" when others =>"); + Put_Line (" when others => null;"); Put_Line (" end case;"); Put_New_Line; Put_Line (" Build_Switches := ();"); -- 2.39.5