* Ignore gnatprove output