diff options
Diffstat (limited to 'src/options.adb')
-rw-r--r-- | src/options.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/options.adb b/src/options.adb index 65521b411..f43ee7663 100644 --- a/src/options.adb +++ b/src/options.adb @@ -180,6 +180,8 @@ package body Options is Flag_Explicit := True; elsif Opt = "-frelaxed-rules" or else Opt = "-frelaxed" then Flag_Relaxed_Rules := True; + elsif Opt = "-fsynopsys" then + Flag_Synopsys := True; elsif Opt = "--syn-binding" then Flag_Syn_Binding := True; elsif Opt = "--no-vital-checks" then |