From 4fab73a2746f81c88027c7d70e78d6988657f352 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Mon, 17 Dec 2018 04:42:18 +0100 Subject: std_names: remove duplicate entries. --- src/std_names.adb | 10 ---------- 1 file changed, 10 deletions(-) (limited to 'src/std_names.adb') 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); -- cgit v1.2.3