Skip to content

Commit defa8f8

Browse files
pmderodatJugst3r
authored andcommitted
instrument-ada_unit.adb: update after a Libadalang API change
TN: V104-012 Change-Id: I90a59564e07bd769ca8e6f2f8902aa9631604c19
1 parent 423e57b commit defa8f8

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

tools/gnatcov/instrument-ada_unit.adb

+3-1
Original file line numberDiff line numberDiff line change
@@ -1796,7 +1796,7 @@ package body Instrument.Ada_Unit is
17961796
Create_Generic_Formal_Type_Decl
17971797
(RC,
17981798
F_Decl =>
1799-
Create_Type_Decl
1799+
Create_Formal_Type_Decl
18001800
(RC,
18011801
F_Name =>
18021802
Make_Defining_Name (UIC, Formal_Type_Name),
@@ -1820,6 +1820,8 @@ package body Instrument.Ada_Unit is
18201820
F_Has_Limited =>
18211821
Make (UIC, Ada_Limited_Present)),
18221822

1823+
F_Default_Type => No_Node_Rewriting_Handle,
1824+
18231825
F_Aspects => No_Node_Rewriting_Handle),
18241826

18251827
F_Aspects => No_Node_Rewriting_Handle));

0 commit comments

Comments
 (0)