2 files changed, 0 insertions, 4 deletions
diff --git a/lib/flags.ml b/lib/flags.ml
index 5fba48dd62..7fed951008 100644
--- a/lib/flags.ml
+++ b/lib/flags.ml
@@ -64,8 +64,6 @@ let profile = false
 
 let print_emacs = ref false
 
-let term_quality = ref false
-
 let xml_export = ref false
 
 let ide_slave = ref false
diff --git a/lib/flags.mli b/lib/flags.mli
index b5947c48f0..c1e5a9dbd0 100644
--- a/lib/flags.mli
+++ b/lib/flags.mli
@@ -28,8 +28,6 @@ val profile : bool
 
 val print_emacs : bool ref
 
-val term_quality : bool ref
-
 val xml_export : bool ref
 
 val ide_slave : bool ref