Skip to content

Commit c38e1e9

Browse files
committed
instrument-setup_config.adb: minor reformattings
1 parent 142a8e4 commit c38e1e9

File tree

1 file changed

+5
-2
lines changed

1 file changed

+5
-2
lines changed

tools/gnatcov/instrument-setup_config.adb

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -48,6 +48,10 @@ package body Instrument.Setup_Config is
4848
-- system installation if Fallback_To_System is True (and so return the
4949
-- first name of Program_Names), otherwise error out.
5050

51+
------------------------
52+
-- Find_Compiler_Prog --
53+
------------------------
54+
5155
function Find_Compiler_Prog
5256
(Compiler_Driver : String;
5357
Program_Names : String_Vectors.Vector;
@@ -334,8 +338,7 @@ package body Instrument.Setup_Config is
334338
-- Load_Config --
335339
-----------------
336340

337-
function Load_Config (Config_File : String) return Instrumentation_Config
338-
is
341+
function Load_Config (Config_File : String) return Instrumentation_Config is
339342
Result : Instrumentation_Config;
340343
Channel : Any_Dump_Channel;
341344
Config_JSON : JSON_Value;

0 commit comments

Comments
 (0)