Skip to content

Commit 2eff1d5

Browse files
committed
Merge branch 'pmderodat/warning' into 'master'
files_table.adb: fix a GNAT warning Closes #160 See merge request eng/das/cov/gnatcoverage!328 Fixes eng/das/cov/gnatcoverage#160
2 parents 045ede7 + 5d7c541 commit 2eff1d5

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

tools/gnatcov/files_table.adb

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2243,7 +2243,7 @@ package body Files_Table is
22432243
Current_Line : Integer := 0;
22442244
-- Line and file of the currently-active line marker
22452245

2246-
PP_Directive_Matched : Boolean;
2246+
PP_Directive_Matched : Boolean := False;
22472247
-- Whether the last line was a preprocessing directive, other than
22482248
-- a line directive.
22492249

0 commit comments

Comments
 (0)