1 files changed, 2 insertions, 3 deletions
diff --git a/src/ghdldrv/ghdllocal.adb b/src/ghdldrv/ghdllocal.adb
index 030cf118e..5841f1b4f 100644
--- a/src/ghdldrv/ghdllocal.adb
+++ b/src/ghdldrv/ghdllocal.adb
@@ -56,10 +56,9 @@ package body Ghdllocal is
       Compile_Init;
    end Init;
 
-   function Decode_Driver_Option (Option : String) return Boolean
+   function Decode_Driver_Option (Opt : String) return Boolean
    is
-      subtype Opt_String is String (1 .. Option'Length);
-      Opt : Opt_String renames Option;
+      pragma Assert (Opt'First = 1);
    begin
       if Opt = "-v" and then Flag_Verbose = False then
          Flag_Verbose := True;