diff options
Diffstat (limited to 'patch-a4g-a_opt.ads')
| -rw-r--r-- | patch-a4g-a_opt.ads | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/patch-a4g-a_opt.ads b/patch-a4g-a_opt.ads new file mode 100644 index 000000000000..592b20a6b836 --- /dev/null +++ b/patch-a4g-a_opt.ads @@ -0,0 +1,11 @@ +--- asis/a4g-a_opt.ads-old 2015-11-04 07:49:30.264512698 +1100 ++++ asis/a4g-a_opt.ads 2015-11-04 07:49:54.257847015 +1100 +@@ -59,7 +59,7 @@ + -- treated as an error: ASIS_Failed is raised and the warning message is + -- sent to an ASIS Diagnosis string. + +- Strong_Version_Check : Boolean := True; ++ Strong_Version_Check : Boolean := False; + -- Strong version check means that version strings read from the tree and + -- stored in Gnatvsn are compared. Weak check means comparing ASIS version + -- numbers. See BA23-002 |