Re: requeue with abort and timed call

[christoph.grein@eurocopter.com]

With 9.7.2(5) in mind, I think the delay in the select statement must
be longer than it takes T to arrive at the requeue.nIn your case, the
delay expires before T reaches the requeue. If you increase the delay
to 4 s

  select
    T.Original_Call;
  or
    -- just wait longer than it takes to reach the requeue
    delay 4.0;
    Put_Line ("Aborting");
  end select;

the program will behave as expected.