restrict.adb
15.3 KB
-
restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default in no run time mode. · e12fbc9e
* restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default in no run time mode. From-SVN: r46507
Robert Dewar committed