diff options
Diffstat (limited to 'src/std_names.adb')
-rw-r--r-- | src/std_names.adb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/std_names.adb b/src/std_names.adb index 499eb29c4..91c9e5320 100644 --- a/src/std_names.adb +++ b/src/std_names.adb @@ -601,6 +601,9 @@ package body Std_Names is Def ("item", Name_Item); Def ("__FILE__", Name_Uu_File_Uu); Def ("__LINE__", Name_Uu_Line_Uu); + Def ("synthesis", Name_Synthesis); + Def ("translate_off", Name_Translate_Off); + Def ("translate_on", Name_Translate_On); Def ("none", Name_None); Def ("ieee", Name_Ieee); |