diff options
Diffstat (limited to 'patch-a4g-a_opt.adb')
| -rw-r--r-- | patch-a4g-a_opt.adb | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/patch-a4g-a_opt.adb b/patch-a4g-a_opt.adb deleted file mode 100644 index 5a4e3efb40e0..000000000000 --- a/patch-a4g-a_opt.adb +++ /dev/null @@ -1,20 +0,0 @@ ---- asis/a4g-a_opt.adb-orig 2015-11-04 08:07:22.751223374 +1100 -+++ asis/a4g-a_opt.adb 2015-11-04 08:08:19.197892357 +1100 -@@ -175,7 +175,7 @@ - when 's' => - - if Parameter = "-sv" then -- Strong_Version_Check := True; -+ Strong_Version_Check := False; - else - Unknown_Parameter := True; - end if; -@@ -241,7 +241,7 @@ - begin - Is_Initialized := False; - ASIS_Warning_Mode := Normal; -- Strong_Version_Check := True; -+ Strong_Version_Check := False; - Generate_Bug_Box := True; - Keep_Going := False; - end Set_Off; |