diff --git a/livrables/sources_naive.zip b/livrables/sources_naive.zip new file mode 100644 index 0000000..93514bb Binary files /dev/null and b/livrables/sources_naive.zip differ diff --git a/src/vector.adb b/src/vector.adb index b83ba63..2fd83a5 100644 --- a/src/vector.adb +++ b/src/vector.adb @@ -1,3 +1,4 @@ +with Ada.Integer_Text_IO; use Ada.Integer_Text_IO; package body vector is @@ -38,7 +39,7 @@ package body vector is end loop; end put; - procedure sort_with_index_desc(vec: in out T_Vecteur; vec_index: out T_Vecteur_Index) is + procedure sort_with_index_desc(vec: in out T_Vecteur; vec_index: in out T_Vecteur_Index) is tmp_Element: T_Element; tmp_Natural: Natural; max: Natural; diff --git a/src/vector.ads b/src/vector.ads index 7d20745..4a469f8 100644 --- a/src/vector.ads +++ b/src/vector.ads @@ -1,5 +1,4 @@ with Ada.Text_IO; use Ada.Text_IO; -with Ada.Integer_Text_IO; use Ada.Integer_Text_IO; generic @@ -23,6 +22,6 @@ package Vector is procedure put(file: in out Ada.Text_IO.File_Type; vec: in T_Vecteur); procedure put(file: in out Ada.Text_IO.File_Type; vec: in T_Vecteur_Index); - procedure sort_with_index_desc(vec: in out T_Vecteur; vec_index: out T_Vecteur_Index); + procedure sort_with_index_desc(vec: in out T_Vecteur; vec_index: in out T_Vecteur_Index); end Vector;