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 --- cocktail.ads | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100644 cocktail.ads (limited to 'cocktail.ads') diff --git a/cocktail.ads b/cocktail.ads deleted file mode 100644 index 8f21ebb..0000000 --- a/cocktail.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 Cocktail is - - procedure Sort(Arr : in out Array_T); - -end Cocktail; - -- cgit