diff options
Diffstat (limited to 'otherlibs/labltk/builtin/builtini_index.ml')
| -rw-r--r-- | otherlibs/labltk/builtin/builtini_index.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/builtin/builtini_index.ml b/otherlibs/labltk/builtin/builtini_index.ml index 5940a27ec..e30160066 100644 --- a/otherlibs/labltk/builtin/builtini_index.ml +++ b/otherlibs/labltk/builtin/builtini_index.ml @@ -28,7 +28,7 @@ let cCAMLtoTKtext_index = (cCAMLtoTKindex : text_index -> tkArgs) let cTKtoCAMLtext_index s = try - let p = String.index char:'.' s in + let p = String.index s '.' in `Linechar (int_of_string (String.sub s pos:0 len:p), int_of_string (String.sub s pos:(p + 1) len:(String.length s - p - 1))) |