diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/serialize.ml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/lib/serialize.ml b/lib/serialize.ml index eb10bb4680..218372afc2 100644 --- a/lib/serialize.ml +++ b/lib/serialize.ml @@ -452,10 +452,6 @@ let to_message xml = match xml with { message_level = to_message_level lvl; message_content = to_string content } | _ -> raise Marshal_error -let of_hints = - let of_hint = of_list (of_pair of_string of_string) in - of_option (of_pair (of_list of_hint) of_hint) - let is_message = function | Element ("message", _, _) -> true | _ -> false |