diff --git a/Makefile b/Makefile index 54178f5..25c4b21 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,6 @@ make: cd build/ && \ + gnat make -f -pg && \ gnat make -gnatwa -gnata -g ../src/*.adb clean: diff --git a/src/google_creux.adb b/src/google_creux.adb index 27f1d61..10a773c 100644 --- a/src/google_creux.adb +++ b/src/google_creux.adb @@ -28,7 +28,7 @@ package body Google_Creux is put_line("got links: "); -- put(links); new_line; - -- à faire: vérifier si la liste set déjà triée avant de trier + -- à faire: vérifier si la liste est déjà triée avant de trier quicksort(links, 0, N_links-1); put_line("sorted links: ");