[Ada] Properly save -gnatVn status

Geert Bosch bosch@gnat.com
Thu Oct 11 17:59:00 GMT 2001


2001-10-11  Robert Dewar  <dewar@gnat.com>

	* validsw.adb: Properly save -gnatVn status.

Index: validsw.adb
===================================================================
RCS file: /nile.c/cvs/Dev/gnat/validsw.adb,v
retrieving revision 1.2
retrieving revision 1.3
diff -c -r1.2 -r1.3
*** validsw.adb	2001/09/24 00:00:39	1.2
--- validsw.adb	2001/09/25 11:03:54	1.3
***************
*** 74,81 ****
           Options (K) := ' ';
        end loop;
  
        Add ('c', Validity_Check_Copies);
-       Add ('d', Validity_Check_Default);
        Add ('f', Validity_Check_Floating_Point);
        Add ('i', Validity_Check_In_Params);
        Add ('m', Validity_Check_In_Out_Params);
--- 74,82 ----
           Options (K) := ' ';
        end loop;
  
+       Add ('n', not Validity_Check_Default);
+ 
        Add ('c', Validity_Check_Copies);
        Add ('f', Validity_Check_Floating_Point);
        Add ('i', Validity_Check_In_Params);
        Add ('m', Validity_Check_In_Out_Params);




More information about the Gcc-patches mailing list