summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2000-01-12 15:53:18 +0000
committerDamien Doligez <damien.doligez-inria.fr>2000-01-12 15:53:18 +0000
commit7767bb2ef1dc6b2be987a4f6ee42488f6d628ce9 (patch)
treee6a22850d7ca04584abe775d16cc426c6e8ed56b
parent27445a206408d63f3d5a2c8bf1590182f89ebb9c (diff)
petit bug de rindex_from
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2755 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--stdlib/string.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/string.ml b/stdlib/string.ml
index 851271763..5e4f36a21 100644
--- a/stdlib/string.ml
+++ b/stdlib/string.ml
@@ -155,7 +155,7 @@ let rec rindex_rec s i c =
let rindex s c = rindex_rec s (length s - 1) c;;
let rindex_from s i c =
- if i < 0 || i >= length s then invalid_arg "String.rindex_from" else
+ if i < -1 || i >= length s then invalid_arg "String.rindex_from" else
rindex_rec s i c;;
let contains_from s i c =