diff options
Diffstat (limited to 'src/std_names.adb')
| -rw-r--r-- | src/std_names.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/std_names.adb b/src/std_names.adb index 4def79432..1a3fcbe94 100644 --- a/src/std_names.adb +++ b/src/std_names.adb @@ -831,6 +831,8 @@ package body Std_Names is Def ("next_event", Name_Next_Event); Def ("next_event_a", Name_Next_Event_A); Def ("next_event_e", Name_Next_Event_E); + Def ("onehot", Name_Onehot); + Def ("onehot0", Name_Onehot0); Def ("property", Name_Property); Def ("prev", Name_Prev); Def ("rose", Name_Rose); |