patch-a4g-a_opt.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

--- 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;