[Ada] Adjust inlining in GNATprove mode for predicate/invariant/DIC
[official-gcc.git] / libada / 
tree2c8bf98ef3df2ea6782ff6f2ab23b4000d852205
drwxr-xr-x   ..
-rw-r--r-- 11745 ChangeLog
-rw-r--r-- 5472 Makefile.in
-rwxr-xr-x 140667 configure
-rw-r--r-- 4613 configure.ac