diff options
Diffstat (limited to 'otherlibs/labltk/builtin')
| -rw-r--r-- | otherlibs/labltk/builtin/builtini_index.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/builtin/builtini_index.ml b/otherlibs/labltk/builtin/builtini_index.ml index cd2dc9c0b..30f6a4f34 100644 --- a/otherlibs/labltk/builtin/builtini_index.ml +++ b/otherlibs/labltk/builtin/builtini_index.ml @@ -29,7 +29,7 @@ let cCAMLtoTKtext_index = (cCAMLtoTKindex : text_index -> tkArgs) let cTKtoCAMLindex s = try - let p = String.index elt:'.' s in + let p = String.index char:'.' 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))) @@ -40,7 +40,7 @@ let cTKtoCAMLindex s = let cTKtoCAMLtext_index s = try - let p = String.index elt:'.' s in + let p = String.index char:'.' 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))) |