clarified comment

cc0542b3 · Davis King · b8da437e · cc0542b3
Commit cc0542b3 authored Mar 28, 2018 by Davis King
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 2 deletions

rand_kernel_abstract.h dlib/rand/rand_kernel_abstract.h +3 -2

No files found.
--- a/dlib/rand/rand_kernel_abstract.h
+++ b/dlib/rand/rand_kernel_abstract.h
@@ -157,8 +157,9 @@ namespace dlib
                requires
                    - begin <= end
                ensures
-                    - returns a random integer selected from the range: begin <= N < end
-                      The integer is selected uniformly at random.
+                    - returns a random integer N selected from the range: begin <= N < end
+                      The integer is selected uniformly at random.  If begin==end then
+                      begin is returned.
            !*/

            long long get_integer(