ada: Revert changing a GNATProve mode message to a non-warning

GNATProve compiles the program multiple times. During the
first run the warnings are suppressed. These messages need
to be suppressed during that run in order to avoid having
them duplicated in the following runs. Revert the previous
changes as there currently is not a way to simply suppress
info messages.

gcc/ada/

	* sem_res.adb (Resolve_Call): add warning insertion
	character into the info message.

diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb
index c55e1f506048d9b7343b35ce979484b37094abb1..d2eca7c54591204fbe5f8eee5bed0225f52e6b81 100644 (file)
--- a/gcc/ada/sem_res.adb
+++ b/gcc/ada/sem_res.adb
@@ -7397,7 +7397,7 @@ package body Sem_Res is
                else
                   if Debug_Flag_Underscore_F then
                      Error_Msg_NE
-                       ("info: analyzing call to & in context", N, Nam_UA);
+                       ("info: analyzing call to & in context?", N, Nam_UA);
                   end if;
 
                   Expand_Inlined_Call (N, Nam_UA, Nam);