Martin Michlmayr writes: > What command are you running exactly? Actually this command also reproduces the problem: gnatmake integer_indexed_sequential_io-debug.ads -- Ludovic Brenta.