[PATCH] ada: Check that the type of Integer_Value attribute argument is known

[Geert Bosch]

Samuel,

If I understand correctly, FSF doesn't have the required copyright
assignments on file for you. Is that right?
In that case, we can't accept your patches yet.
Could you clarify the current situation? (Apologies if
I missed/confused some mail related to this.)

   -Geert