summaryrefslogtreecommitdiffstats
path: root/utils/misc.ml
diff options
context:
space:
mode:
Diffstat (limited to 'utils/misc.ml')
-rw-r--r--utils/misc.ml16
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 =