From bd43c44ab5216e53bddc0e5c33cf8976db4d54b3 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 20 Nov 2022 08:34:27 +0100
Subject: grt-algos: clarify the API

---
 src/grt/grt-algos.adb | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/grt/grt-algos.adb')

diff --git a/src/grt/grt-algos.adb b/src/grt/grt-algos.adb
index 6469e2b80..82c14bd8c 100644
--- a/src/grt/grt-algos.adb
+++ b/src/grt/grt-algos.adb
@@ -39,6 +39,9 @@ package body Grt.Algos is
       end Bubble_Down;
 
    begin
+      --  Note: if N < 2, there is nothing to sort.  The loops are not
+      --  executed.
+
       --  Heapify
       for I in reverse 1 .. N / 2 loop
          Bubble_Down (I, N);
-- 
cgit v1.2.3