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

---
 lib/flags.ml  | 2 ++
 lib/flags.mli | 2 ++
 2 files changed, 4 insertions(+)

(limited to 'lib')

diff --git a/lib/flags.ml b/lib/flags.ml
index ab4ac03f80..bdae0adc9a 100644
--- a/lib/flags.ml
+++ b/lib/flags.ml
@@ -83,6 +83,8 @@ let profile = false
 let print_emacs = ref false
 let coqtop_ui = ref false
 
+let xml_export = ref false
+
 let ide_slave = ref false
 let ideslave_coqtop_flags = ref None
 
diff --git a/lib/flags.mli b/lib/flags.mli
index 8e37136560..be2682cbd9 100644
--- a/lib/flags.mli
+++ b/lib/flags.mli
@@ -44,6 +44,8 @@ val profile : bool
 val print_emacs : bool ref
 val coqtop_ui : bool ref
 
+val xml_export : bool ref
+
 val ide_slave : bool ref
 val ideslave_coqtop_flags : string option ref
 
-- 
cgit v1.2.3