fix the split_words function in uTop.ml

2013-05-17 19:39:14 +01:00 · 2013-05-17 19:39:14 +01:00 · b721aa054b
parent 2b7dadf4b5
commit b721aa054b
1 changed files with 1 additions and 1 deletions
--- a/src/lib/uTop.ml
+++ b/src/lib/uTop.ml
@ -593,7 +593,7 @@ let split_words str =
      [String.sub str i (j - i)]
    else
      if is_sep str.[j] then
-        String.sub str i (j - i) :: skip (i + 1)
+        String.sub str i (j - i) :: skip (j + 1)
      else
        extract i (j + 1)
  in