Skip to content

Commit 855bcd0

Browse files
Philippe GilAnthonyLeonardoGracio
authored andcommitted
move 'use GPR2' statement to lsp-gpr_files.ads public part
workaround for eng/das/cov/gnatcoverage#174 (cherry picked from commit 92cf812)
1 parent beae778 commit 855bcd0

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

source/gpr/lsp-gpr_files.ads

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -47,6 +47,8 @@ with LSP.Tracers;
4747

4848
package LSP.GPR_Files is
4949

50+
use GPR2; -- temporary workaround of a coverage instrumentation problem
51+
5052
type File (Tracer : not null LSP.Tracers.Tracer_Access) is
5153
tagged limited private;
5254
-- A parsed GPR file.
@@ -215,8 +217,6 @@ package LSP.GPR_Files is
215217

216218
private
217219

218-
use GPR2;
219-
220220
type Source_Position is record
221221
Line : Integer;
222222
Column : Integer;

0 commit comments

Comments
 (0)