diff options
Diffstat (limited to 'src/preferences.ads')
-rw-r--r-- | src/preferences.ads | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/src/preferences.ads b/src/preferences.ads index 4f0700d..d38b6ec 100644 --- a/src/preferences.ads +++ b/src/preferences.ads @@ -1,15 +1,12 @@ -with Candidates.Containers; -private with Ada.Containers; +with + Candidates.Containers; --- This source is licensed under Creative Commons CC0 v1.0. --- --- To read the full text, see license.txt in the main directory of this repository --- or go to https://creativecommons.org/publicdomain/zero/1.0/legalcode.txt --- --- For a human readable summary, go to https://creativecommons.org/publicdomain/zero/1.0/ +private with + + Ada.Containers; generic |