From b6bd780dfab9cced833d09037a9c66f242b37053 Mon Sep 17 00:00:00 2001
From: gareuselesinge
Date: Thu, 25 Apr 2013 14:14:30 +0000
Subject: Flag ide_slave moved into Flags module

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16454 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 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 c6b1cdd7d1..d931ad9870 100644
--- a/lib/flags.ml
+++ b/lib/flags.ml
@@ -34,6 +34,8 @@ let term_quality = ref false
 
 let xml_export = ref false
 
+let ide_slave = ref false
+
 type load_proofs = Force | Lazy | Dont
 
 let load_proofs = ref Lazy
diff --git a/lib/flags.mli b/lib/flags.mli
index 797ee3875d..8ff9deeaae 100644
--- a/lib/flags.mli
+++ b/lib/flags.mli
@@ -20,6 +20,8 @@ val term_quality : bool ref
 
 val xml_export : bool ref
 
+val ide_slave : bool ref
+
 type load_proofs = Force | Lazy | Dont
 val load_proofs : load_proofs ref
 
-- 
cgit v1.2.3