diff options
author | Tristan Gingold <tgingold@free.fr> | 2021-02-21 21:08:47 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2021-02-21 21:08:47 +0100 |
commit | db5d662a76ad288336af9832ec7765a9bba16ce0 (patch) | |
tree | a8d5e622337942ba98dce02d7dbc2c4fc1b2abaf /src/std_names.adb | |
parent | e6f397e0ee0c8e3e8f0ca5ac864f02a4cd305818 (diff) | |
download | ghdl-db5d662a76ad288336af9832ec7765a9bba16ce0.tar.gz ghdl-db5d662a76ad288336af9832ec7765a9bba16ce0.tar.bz2 ghdl-db5d662a76ad288336af9832ec7765a9bba16ce0.zip |
std_names: add async_abort and sync_abort. For #1654
Diffstat (limited to 'src/std_names.adb')
-rw-r--r-- | src/std_names.adb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/std_names.adb b/src/std_names.adb index 1a3fcbe94..a8218aa3d 100644 --- a/src/std_names.adb +++ b/src/std_names.adb @@ -808,8 +808,8 @@ package body Std_Names is Def ("ag", Name_Ag); Def ("ax", Name_Ax); Def ("abort", Name_Abort); - Def ("assume", Name_Assume); Def ("assume_guarantee", Name_Assume_Guarantee); + Def ("async_abort", Name_Async_Abort); Def ("before", Name_Before); Def ("clock", Name_Clock); Def ("const", Name_Const); @@ -837,6 +837,7 @@ package body Std_Names is Def ("prev", Name_Prev); Def ("rose", Name_Rose); Def ("strong", Name_Strong); + Def ("sync_abort", Name_Sync_Abort); Def ("union", Name_Union); Def ("w", Name_W); Def ("whilenot", Name_Whilenot); |