10
0
mirror of https://gitlab.com/scemama/EZFIO.git synced 2024-12-22 12:23:34 +01:00

Error in previous commit

This commit is contained in:
Anthony Scemama 2014-10-17 11:55:07 +02:00
parent f77c499fc2
commit 0c097dac4f

View File

@ -104,6 +104,7 @@ let ltrim s =
| ' ' -> do_work (String.sub s 1 (l-1)) (l-1) | ' ' -> do_work (String.sub s 1 (l-1)) (l-1)
| _ -> s | _ -> s
in in
let l = String.length s in
if (l > 0) then do_work s l if (l > 0) then do_work s l
else s else s
;; ;;
@ -116,6 +117,7 @@ let rtrim s =
| ' ' -> do_work (String.sub s 0 (newl)) (newl) | ' ' -> do_work (String.sub s 0 (newl)) (newl)
| _ -> s | _ -> s
in in
let l = String.length s in
if (l > 0) then do_work s l if (l > 0) then do_work s l
else s else s
;; ;;