* debug.adb: Document that -gnatdA automatically sets -gnatR3m
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 8 Dec 2004 11:26:04 +0000 (11:26 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 8 Dec 2004 11:26:04 +0000 (11:26 +0000)
commit0a90e223f7c06e6df1d45de16b99cdad84166dec
tree461af9a85521ad1dce6fbd6b3325059ef733bae5
parent9080eb6bba3613f90aa8b0444a4eb07a4eda3a9d
* debug.adb: Document that -gnatdA automatically sets -gnatR3m

* gnat1drv.adb (Gnat1drv): If debug flag A set, then automatically
set -gnatR3m mode.

* repinfo.adb (List_Rep_Info): Remove special handling of -gnatdA
flag. No longer needed now that we handle this in gnat1drv.adb.

* repinfo.ads: Minor reformatting

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@91878 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/debug.adb
gcc/ada/gnat1drv.adb
gcc/ada/repinfo.adb
gcc/ada/repinfo.ads