From 0d2b9721d0b4a58fb5ca0a4e0befa79c9ab2c1e7 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Mon, 19 Nov 2012 16:10:53 +0000
Subject: Serialize: dead code

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15985 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/serialize.ml | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'lib')

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
-- 
cgit v1.2.3