From 2e65cdda4c260e57869928ce772edb8b67239bdf Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 16 Nov 2018 20:18:20 +0100
Subject: Options: handle -frelaxed as an alias to -frelaxed-rules.

---
 src/options.adb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/options.adb b/src/options.adb
index f200d1c71..98f2352f9 100644
--- a/src/options.adb
+++ b/src/options.adb
@@ -159,7 +159,7 @@ package body Options is
          Bootstrap := True;
       elsif Opt = "-fexplicit" then
          Flag_Explicit := True;
-      elsif Opt = "-frelaxed-rules" then
+      elsif Opt = "-frelaxed-rules" or else Opt = "-frelaxed" then
          Flag_Relaxed_Rules := True;
       elsif Opt = "--syn-binding" then
          Flag_Syn_Binding := True;
-- 
cgit v1.2.3