diff options
Diffstat (limited to 'src/std_names.adb')
| -rw-r--r-- | src/std_names.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/std_names.adb b/src/std_names.adb index 9df07bb6d..3338c805d 100644 --- a/src/std_names.adb +++ b/src/std_names.adb @@ -646,6 +646,7 @@ package body Std_Names is Def ("shift_right", Name_Shift_Right); Def ("rotate_left", Name_Rotate_Left); Def ("rotate_right", Name_Rotate_Right); + Def ("to_bitvector", Name_To_Bitvector); Def ("math_real", Name_Math_Real); Def ("ceil", Name_Ceil); Def ("log2", Name_Log2); |