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 17d7b4b commit c8c9818Copy full SHA for c8c9818
examples/shared/serial_ports/src/serial_io-nonblocking.ads
@@ -92,11 +92,11 @@ private
92
IRQ : Interrupt_ID;
93
IRQ_Priority : Interrupt_Priority)
94
-- with
95
- -- Interrupt_Priority => IRQ_Priority
+ -- Interrupt_Priority => IRQ_Priority
96
is
97
98
pragma Interrupt_Priority (IRQ_Priority);
99
- -- use pragma as workaround for bug in CE_2021 frontend (V523-041)
+ -- use pragma as workaround for bug in GNAT frontend (V523-041)
100
101
procedure Start_Sending (Msg : not null access Message);
102
0 commit comments