From 577172e2a52076f4099fcdf4bf8a69649488f514 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 4 Jan 2019 16:37:07 +0100
Subject: errorout: discard disabled warnings.

Fix #729
---
 src/options.ads | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/options.ads')

diff --git a/src/options.ads b/src/options.ads
index 0567cc200..68acc8c75 100644
--- a/src/options.ads
+++ b/src/options.ads
@@ -20,7 +20,7 @@ package Options is
    -- Return true if opt is recognize by flags.
    --  Note: std_names.std_names_initialize and files_map.init_paths must have
    --  been called before this subprogram.
-   function Parse_Option (Option : String) return Boolean;
+   function Parse_Option (Opt : String) return Boolean;
 
    -- Disp help about these options.
    procedure Disp_Options_Help;
-- 
cgit v1.2.3