remove changes in ctype.ml and replace by a comment
remove changes in ctype.ml and replace by a comment

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml