* restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default
in no run time mode.
From-SVN: r46507
+2001-10-25 Robert Dewar <dewar@gnat.com>
+
+ * restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default
+ in no run time mode.
+
2001-10-25 Pascal Obry <obry@gnat.com>
* gnatmem.adb (Read_Next): fix Curs2 value to properly handle quiet
begin
No_Run_Time := True;
Restrictions (No_Exception_Handlers) := True;
+ Opt.Global_Discard_Names := True;
end Set_No_Run_Time_Mode;
-------------------