From 47bde1826b6329650f8546ac1fca1f2e90d85fcb Mon Sep 17 00:00:00 2001
From: filliatr
Date: Mon, 28 May 2001 08:40:59 +0000
Subject: option -quality

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1767 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/options.ml  | 2 ++
 lib/options.mli | 2 ++
 2 files changed, 4 insertions(+)

(limited to 'lib')

diff --git a/lib/options.ml b/lib/options.ml
index b00d523735..d5efe7feff 100644
--- a/lib/options.ml
+++ b/lib/options.ml
@@ -20,6 +20,8 @@ let print_emacs = ref false
 
 let emacs_str s = if !print_emacs then s else "" 
 
+let term_quality = ref false
+
 (* Silent / Verbose *)
 let silent = ref false
 let make_silent flag = silent := flag; ()
diff --git a/lib/options.mli b/lib/options.mli
index e70d386694..84c60c9ddf 100644
--- a/lib/options.mli
+++ b/lib/options.mli
@@ -19,6 +19,8 @@ val debug : bool ref
 val print_emacs : bool ref
 val emacs_str : string -> string
 
+val term_quality : bool ref
+
 val make_silent : bool -> unit
 val is_silent : unit -> bool
 val is_verbose : unit -> bool
-- 
cgit v1.2.3