Permalink
Browse files

Serialize: dead code

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15985 85f007b7-540e-0410-9357-904b9bb8a0f7
  • Loading branch information...
1 parent dab4748 commit 0d2b9721d0b4a58fb5ca0a4e0befa79c9ab2c1e7 letouzey committed Nov 19, 2012
Showing with 0 additions and 4 deletions.
  1. +0 −4 lib/serialize.ml
View
@@ -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

0 comments on commit 0d2b972

Please sign in to comment.