[Bug ada/37641] FILE_WRITE_PROPERTIES is deprecated

[sam at gcc dot gnu dot org]

------- Comment #4 from sam at gcc dot gnu dot org  2008-09-25 15:13 -------
Subject: Bug 37641

Author: sam
Date: Thu Sep 25 15:12:26 2008
New Revision: 140665

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=140665
Log:
    gcc/ada/
        PR ada/37641
        * adaint.c (__gnat_set_non_writable): Use FILE_WRITE_EA
        instead of deprecated FILE_WRITE_PROPERTIES.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/adaint.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37641