[Ada] Simplify implicit loading for GNATprove with Discard_Node

gcc/ada/

	* rtsfind.adb (SPARK_Implicit_Load): Simplify with Discard_Node.

diff --git a/gcc/ada/rtsfind.adb b/gcc/ada/rtsfind.adb
index cab8679..33ce7cd 100644 (file)
--- a/gcc/ada/rtsfind.adb
+++ b/gcc/ada/rtsfind.adb
@@ -1795,14 +1795,12 @@ package body Rtsfind is
    -------------------------
 
    procedure SPARK_Implicit_Load (E : RE_Id) is
-      Unused : Entity_Id;
-
    begin
       pragma Assert (GNATprove_Mode);
 
       --  Force loading of a predefined unit
 
-      Unused := RTE (E);
+      Discard_Node (RTE (E));
    end SPARK_Implicit_Load;
 
 end Rtsfind;