Skip to content

Commit 0374747

Browse files
committed
lkql_checker: rename Print_Gnatcheck_Usage to Print_Usage
1 parent 346ee24 commit 0374747

File tree

3 files changed

+7
-7
lines changed

3 files changed

+7
-7
lines changed

lkql_checker/src/lkql_checker-output.adb

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -617,15 +617,15 @@ package body Lkql_Checker.Output is
617617
pragma Style_Checks ("M79");
618618
end Brief_Help;
619619

620-
---------------------------
621-
-- Print_Gnatcheck_Usage --
622-
---------------------------
620+
-----------------
621+
-- Print_Usage --
622+
-----------------
623623

624-
procedure Print_Gnatcheck_Usage is
624+
procedure Print_Usage is
625625
begin
626626
Brief_Help;
627627
New_Line;
628628
Put_Line ("Report bugs to [email protected]");
629-
end Print_Gnatcheck_Usage;
629+
end Print_Usage;
630630

631631
end Lkql_Checker.Output;

lkql_checker/src/lkql_checker-output.ads

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -140,7 +140,7 @@ package Lkql_Checker.Output is
140140
procedure Brief_Help;
141141
-- Prints the brief gnatcheck help info into Stderr
142142

143-
procedure Print_Gnatcheck_Usage;
143+
procedure Print_Usage;
144144
-- Similar to Brief_Help, but corresponds to the general format generated
145145
-- by other GNAT tools for '--help' option, and sends the output into
146146
-- Stdout

lkql_checker/src/main.adb

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -400,7 +400,7 @@ begin
400400
OS_Exit (E_Success);
401401

402402
elsif Arg.Help.Get then
403-
Print_Gnatcheck_Usage;
403+
Print_Usage;
404404
OS_Exit (E_Success);
405405
end if;
406406

0 commit comments

Comments
 (0)