let rec no_newline s = let l = String.length s in match l with | 0 -> "" | _ -> if s.[l-1] = '\n' || s.[l-1] = (char_of_int 13) then no_newline (String.sub s 0 (l-1)) else s