From 2d3765bc9176f59f88b5369c3a508f84e25f4b5f Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 18 Dec 2016 18:32:43 +0100
Subject: lists: delte Remove_Nth_Element (was unused).

---
 src/lists.adb | 13 -------------
 1 file changed, 13 deletions(-)

(limited to 'src/lists.adb')

diff --git a/src/lists.adb b/src/lists.adb
index ff0702fbf..395409d93 100644
--- a/src/lists.adb
+++ b/src/lists.adb
@@ -162,19 +162,6 @@ package body Lists is
       Append_Element (List, El);
    end Add_Element;
 
-   procedure Remove_Nth_Element (List: List_Type; N: Natural)
-   is
-      Nbr : constant Natural := Get_Nbr_Elements (List);
-   begin
-      if N >= Nbr then
-         raise Program_Error;
-      end if;
-      for I in N .. Nbr - 2 loop
-         Listt.Table (List).Els (I) := Listt.Table (List).Els (I + 1);
-      end loop;
-      Listt.Table (List).Nbr := Nbr - 1;
-   end Remove_Nth_Element;
-
    procedure Set_Nbr_Elements (List: List_Type; N: Natural) is
    begin
       if N > Get_Nbr_Elements (List) then
-- 
cgit v1.2.3