From f2e0f4caa262f2e04b9ae4d29d28646751039d38 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 30 Jul 2016 07:02:10 +0200
Subject: grt-options: adjust condition to avoid a crash.

---
 src/grt/grt-options.adb | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/grt/grt-options.adb b/src/grt/grt-options.adb
index 1b582e5bb..31bd3b45c 100644
--- a/src/grt/grt-options.adb
+++ b/src/grt/grt-options.adb
@@ -481,8 +481,9 @@ package body Grt.Options is
             end if;
             Last_Generic_Override := Over;
          end;
-      elsif Option'Length >= 18 and then
-            Option (1 .. 19) = "--wave-option-file=" then
+      elsif Option'Length >= 19
+        and then Option (1 .. 19) = "--wave-option-file="
+      then
          Wave_Opt_File.Parse.Start (Option (20 .. Option'Last));
       elsif Option = "--unbuffered" then
          Unbuffered_Writes := True;
-- 
cgit v1.2.3