1 files changed, 0 insertions, 16 deletions
diff --git a/insertion.ads b/insertion.ads
deleted file mode 100644
index 19b6b2c..0000000
--- a/insertion.ads
+++ /dev/null
@@ -1,16 +0,0 @@
-
-
-generic
-
-    type Index_T is (<>);
-    type Element_T is private;
-    type Array_T is array (Index_T range <>) of Element_T;
-
-    with function ">"(X, Y : in Element_T) return Boolean is <>;
-
-package Insertion is
-
-    procedure Sort(Arr : in out Array_T);
-
-end Insertion;
-