OSDN Git Service

* gcc-interface/gigi.h (gnat_mark_addressable): Rename parameter.