From 74a5cfa8b2f1a881ebf010160421cf0775c2a084 Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Fri, 15 Jan 2016 17:49:49 +0100
Subject: Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti
 Coen.

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

(limited to 'library/library.mli')

diff --git a/library/library.mli b/library/library.mli
index d5e610dd6..fb0ce4795 100644
--- a/library/library.mli
+++ b/library/library.mli
@@ -67,6 +67,9 @@ 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