From 63c3043200de6b28a8c192f1b5625940435ea55e Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Sat, 17 Oct 2015 14:20:48 +1100 Subject: Organised source code a bit, added makefile with clean target --- insertion.ads | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100644 insertion.ads (limited to 'insertion.ads') 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; - -- cgit