diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-10-30 12:46:20 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-10-30 12:46:20 +0100 |
| commit | 35fdafcdda2be3cab0ce595ab2f06aca2f1cef77 (patch) | |
| tree | 71cf6013dc9ad01fef72a378c872389bf381ccbe /gcc/ada/opt.adb | |
| parent | f11ac8e701b988b82ceb0d5f2fb60a22054b4d9b (diff) | |
| download | gcc-35fdafcdda2be3cab0ce595ab2f06aca2f1cef77.zip gcc-35fdafcdda2be3cab0ce595ab2f06aca2f1cef77.tar.gz gcc-35fdafcdda2be3cab0ce595ab2f06aca2f1cef77.tar.bz2 | |
Recommit wrongly reverted change.
From-SVN: r216924
Diffstat (limited to 'gcc/ada/opt.adb')
| -rw-r--r-- | gcc/ada/opt.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/opt.adb b/gcc/ada/opt.adb index 9631ff4..0afab65 100644 --- a/gcc/ada/opt.adb +++ b/gcc/ada/opt.adb @@ -171,6 +171,7 @@ package body Opt is Ada_Version := Ada_Version_Runtime; Ada_Version_Pragma := Empty; + Default_SSO := ' '; Dynamic_Elaboration_Checks := False; Extensions_Allowed := True; External_Name_Exp_Casing := As_Is; @@ -194,7 +195,6 @@ package body Opt is Assertions_Enabled := Assertions_Enabled_Config; Assume_No_Invalid_Values := Assume_No_Invalid_Values_Config; Check_Policy_List := Check_Policy_List_Config; - Default_SSO := Default_SSO_Config; SPARK_Mode := SPARK_Mode_Config; SPARK_Mode_Pragma := SPARK_Mode_Pragma_Config; else |