diff options
Diffstat (limited to 'utils/misc.ml')
-rw-r--r-- | utils/misc.ml | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/utils/misc.ml b/utils/misc.ml index 37f7598b4..b0ff4dc11 100644 --- a/utils/misc.ml +++ b/utils/misc.ml @@ -75,22 +75,6 @@ let create_hashtable size init = List.iter (fun (key, data) -> Hashtbl.add tbl key data) init; tbl -(* String functions *) - -let capitalize s = - let r = String.create (String.length s) in - String.blit s 0 r 0 (String.length s); - let c = s.[0] in - if c >= 'a' & c <= 'z' then r.[0] <- Char.chr(Char.code c - 32); - r - -let lowercase s = - let r = String.create (String.length s) in - String.blit s 0 r 0 (String.length s); - let c = s.[0] in - if c >= 'A' & c <= 'Z' then r.[0] <- Char.chr(Char.code c + 32); - r - (* File copy *) let copy_file ic oc = |