[m-rev.] diff: Fix documentation of string.unsafe_prev_index.

Peter Wang novalazy at gmail.com
Thu May 2 13:16:36 AEST 2019


library/string.m:
    As above.

diff --git a/library/string.m b/library/string.m
index 8f23b0d64..6c1a5e51c 100644
--- a/library/string.m
+++ b/library/string.m
@@ -291,7 +291,7 @@
     % the code unit `Index'. `CharIndex' is the offset of the beginning of
     % `Char'. Fails if `Index' is zero.
     % WARNING: behavior is UNDEFINED if `Index' is out of range
-    % (negative, or greater than or equal to the length of `String').
+    % (negative, or greater than the length of `String').
     %
 :- pred unsafe_prev_index(string::in, int::in, int::out, char::uo) is semidet.
 
-- 
2.21.0



More information about the reviews mailing list