Skip to content

Commit 423e57b

Browse files
pmderodatJugst3r
authored andcommitted
setup_rts.adb: update after a recent GPR2 API breaking change
Change-Id: Ic69fbdc960c3fd0d4066658c03f7dd619062cecc TN: V830-027
1 parent 7b7fb69 commit 423e57b

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

tools/gnatcov/setup_rts.adb

+1-1
Original file line numberDiff line numberDiff line change
@@ -505,7 +505,7 @@ package body Setup_RTS is
505505
-- string for the Library_Support attribute.
506506

507507
declare
508-
Attr_Id : constant GPR2.Attribute_Id :=
508+
Attr_Id : constant GPR2.Q_Attribute_Id :=
509509
GPR2.Project.Registry.Attribute.Library_Support;
510510
Attr : constant GPR2.Project.Attribute.Object :=
511511
Prj.Configuration.Corresponding_View.Attribute (Attr_Id);

0 commit comments

Comments
 (0)