OSDN Git Service

2008-05-27 Thomas Quinot <quinot@adacore.com>
[pf3gnuchains/gcc-fork.git] / gcc / ada / validsw.adb
index ab6fb93..1c7d5cf 100644 (file)
@@ -104,7 +104,8 @@ package body Validsw is
    procedure Set_Validity_Check_Options (Options : String) is
       OK : Boolean;
       EC : Natural;
-
+      pragma Warnings (Off, OK);
+      pragma Warnings (Off, EC);
    begin
       Set_Validity_Check_Options (Options, OK, EC);
    end Set_Validity_Check_Options;