1 files changed, 3 insertions, 0 deletions
diff --git a/src/flags.ads b/src/flags.ads
index a90a4fea0..b05a830a3 100644
--- a/src/flags.ads
+++ b/src/flags.ads
@@ -148,6 +148,9 @@ package Flags is
    --    constant x : xtype := x;
    Flag_Relaxed_Rules : Boolean := False;
 
+   --  If true, allow to use synopsys packages (std_logic_arith & co).
+   Flag_Synopsys : Boolean := False;
+
    -- --warn-undriven
    --Warn_Undriven : Boolean := False;