OSDN Git Service

* restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default