* (*.aadl):
   - Fix AADL error (prototype).