diff options
| author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2010-05-05 14:36:41 +0000 |
|---|---|---|
| committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2010-05-05 14:36:41 +0000 |
| commit | ef925ce233972630e98dd25e6328a44a9b109a98 (patch) | |
| tree | 8dcbda96e9d9062a8a73ea43226b79e23383f039 /otherlibs/str | |
| parent | 1b5c521bb7952fdfc6aafe57d264602fa3f2eff1 (diff) | |
comment out useless code in Str
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10375 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/str')
| -rw-r--r-- | otherlibs/str/str.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/otherlibs/str/str.ml b/otherlibs/str/str.ml index 741eaa56c..f3f760acb 100644 --- a/otherlibs/str/str.ml +++ b/otherlibs/str/str.ml @@ -29,7 +29,7 @@ module Charset = struct type t = string (* of length 32 *) - let empty = String.make 32 '\000' + (*let empty = String.make 32 '\000'*) let full = String.make 32 '\255' let make_empty () = String.make 32 '\000' @@ -44,9 +44,9 @@ module Charset = let singleton c = let s = make_empty () in add s c; s - let range c1 c2 = + (*let range c1 c2 = let s = make_empty () in add_range s c1 c2; s - + *) let complement s = let r = String.create 32 in for i = 0 to 31 do |