diff options
Diffstat (limited to 'src/vhdl/translate/translation.adb')
-rw-r--r-- | src/vhdl/translate/translation.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/vhdl/translate/translation.adb b/src/vhdl/translate/translation.adb index b7c8eab00..76fa7a0b3 100644 --- a/src/vhdl/translate/translation.adb +++ b/src/vhdl/translate/translation.adb @@ -2110,6 +2110,8 @@ package body Translation is Translation.Flag_Index_Checks := False; elsif Opt = "--no-identifiers" then Translation.Flag_Discard_Identifiers := True; + elsif Opt = "--no-elaboration" then + Translation.Flag_Elaboration := False; else return False; end if; |