We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e00b68a commit 1a7712cCopy full SHA for 1a7712c
src/core/aws-server.ads
@@ -536,7 +536,7 @@ private
536
end record;
537
538
package Line_Attribute is new Ada.Task_Attributes
539
- (Line_Attribute_Record, (Line => 1, others => <>));
+ (Line_Attribute_Record, Line_Attribute_Record'(Line => 1, others => <>));
540
-- A line specific attribute
541
542
procedure Null_Procedure is null;
0 commit comments