diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/std_names.adb | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/std_names.adb b/src/std_names.adb index 3f28b4c5a..7a3293bf9 100644 --- a/src/std_names.adb +++ b/src/std_names.adb @@ -657,16 +657,6 @@ package body Std_Names is Def ("find_last_index", Name_Find_Last_Index); Def ("num", Name_Num); - -- SV methods. - Def ("size", Name_Size); - Def ("insert", Name_Insert); - Def ("delete", Name_Delete); - Def ("pop_front", Name_Pop_Front); - Def ("pop_back", Name_Pop_Back); - Def ("push_front", Name_Push_Front); - Def ("push_back", Name_Push_Back); - Def ("name", Name_Name); - -- BSV keywords Def ("Action", Name_uAction); Def ("ActionValue", Name_uActionValue); |