Problem with finalized protected object

[Jano <notelacreas@porfavor.no>]

Gnat 3.15p, both linux/win32.

I have a program that, when ended, gives the following error:

Execution terminated by unhandled exception
Exception name: PROGRAM_ERROR
Message: Protected Object is finalized
Call stack traceback locations:
0x8ab417b 0x8ad5d4e 0x8ad5940 0x8ad5893 0x8aab4d8

The traceback gives:

0x8ab417b at ada/rts/a-except.adb:1320
0x8ad5d4e at ada/rts/s-assert.adb:46
0x8ad5940 at ada/rts/s-assert.adb:46
0x8ad5893 at ada/rts/s-assert.adb:46
0x8aab4d8 at ada/rts/s-tasdeb.adb:76

As you can see, nothing in my code.

The situation is as follows. I have several tasks. The main body does 
nothing but wait for the other tasks to end. If I place a long delay in 
the main body after the tasks finalize, the exception isn't raised until 
the main body exits. In fact, debugging it shows that the exception 
happens when adafinal is called, someplace within.

Even if the fault is in my code, isn't that some ill behavior on Gnat's 
part? I would expect the program error to be raised when the finalized 
object gets called, nor later. Am I right?

Thanks for any comments,

A. Mosteo.