diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2015-10-17 14:20:48 +1100 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2015-10-17 14:20:48 +1100 |
| commit | 63c3043200de6b28a8c192f1b5625940435ea55e (patch) | |
| tree | ab761edbbc71b2b2f28e0ef7e10b8adc58d44320 /insertion.ads | |
| parent | 5933f248c18914fbbce03102b340361a575eae3c (diff) | |
Organised source code a bit, added makefile with clean target
Diffstat (limited to 'insertion.ads')
| -rw-r--r-- | insertion.ads | 16 |
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; - |