From 51d38d0892eae4a253356e52614da6dee6513e9e Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Mon, 8 Sep 2014 19:38:27 +0200
Subject: Removing dead code relative to the XML plugin.

---
 library/library.mli | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'library/library.mli')

diff --git a/library/library.mli b/library/library.mli
index 0f6f510d8..5154c25e4 100644
--- a/library/library.mli
+++ b/library/library.mli
@@ -66,9 +66,6 @@ val library_full_filename : DirPath.t -> string
   (** - Overwrite the filename of all libraries (used when restoring a state) *)
 val overwrite_library_filenames : string -> unit
 
-(** {6 Hook for the xml exportation of libraries } *)
-val xml_require : (DirPath.t -> unit) Hook.t
-
 (** {6 Locate a library in the load paths } *)
 exception LibUnmappedDir
 exception LibNotFound
-- 
cgit v1.2.3