diff options
Diffstat (limited to 'std_names.adb')
| -rw-r--r-- | std_names.adb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/std_names.adb b/std_names.adb index 05f0f8c..67fb47b 100644 --- a/std_names.adb +++ b/std_names.adb @@ -160,6 +160,9 @@ package body Std_Names is Def ("integer_vector", Name_Integer_Vector); Def ("real_vector", Name_Real_Vector); Def ("time_vector", Name_Time_Vector); + Def ("digits", Name_Digits); + Def ("format", Name_Format); + Def ("unit", Name_Unit); Def ("domain_type", Name_Domain_Type); Def ("quiescent_domain", Name_Quiescent_Domain); |