diff options
Diffstat (limited to 'src/options.adb')
| -rw-r--r-- | src/options.adb | 2 |
1 files changed, 1 insertions, 1 deletions
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; |