diff options
Diffstat (limited to 'src/std_names.ads')
| -rw-r--r-- | src/std_names.ads | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/std_names.ads b/src/std_names.ads index 31ddfb621..1bcc6943d 100644 --- a/src/std_names.ads +++ b/src/std_names.ads @@ -755,8 +755,10 @@ package Std_Names is Name_Log2 : constant Name_Id := Name_First_Ieee_Name + 042; Name_Sin : constant Name_Id := Name_First_Ieee_Name + 043; Name_Cos : constant Name_Id := Name_First_Ieee_Name + 044; - Name_Ext : constant Name_Id := Name_First_Ieee_Name + 045; - Name_Sxt : constant Name_Id := Name_First_Ieee_Name + 046; + Name_Shl : constant Name_Id := Name_First_Ieee_Name + 045; + Name_Shr : constant Name_Id := Name_First_Ieee_Name + 046; + Name_Ext : constant Name_Id := Name_First_Ieee_Name + 047; + Name_Sxt : constant Name_Id := Name_First_Ieee_Name + 048; Name_Last_Ieee_Name : constant Name_Id := Name_Sxt; Name_First_Synthesis : constant Name_Id := Name_Last_Ieee_Name + 1; |